All Categories → No Category → microkernel

Top 30 microkernel open source projects

Mirror of https://gitlab.redox-os.org/redox-os/redox

✭ 13,611

Makefile shell Dockerfile operating-system redox microkernel

A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

✭ 2,237

rust WebAssembly assembly webassembly operating-system osdev microkernel nebulet

The seL4 microkernel

✭ 3,344

c python TeX CMake Beef assembly os microkernel sel4 sel4-microkernel

Free Pascal Operating System (FPOS) is a operating system consists of a minimal kernel built on FreePascal. It contains a Scheme implementation of a hard drive (ATA) driver, keyboard (PS2), serial (8250 UART), FAT32 filesystem and a small real time clock manager. The project was built to experiment with developement of operating system using a h…

✭ 36

pascal C++assembly Batchfile PHP Makefile kernel os freepascal operating-system microkernel pascal-compiler pascal-language pascal-programming

phoenix-rtos-kernel

Phoenix-RTOS microkernel repository

✭ 77

c assembly Makefile real-time kernel operating-system microkernel rtos realtime-operating-systems

Rust implementation of Xinu educational operating system

✭ 26

rust Dockerfile kernel operating-system microkernel xinu

M7M01 MuEukaron

An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY

✭ 79

c assembly C++Makefile iot microcontroller cortex-m containers virtualization hypervisor multi-core mcu microkernel capability-based

My ongoing experimentation on operating system internals, aiming at providing a kernel to the FreeDOS-32 project.

✭ 23

c Makefile assembly C++shell kernel microkernel operating-system-kernel

kaneton is an educational microkernel that has been used for teaching purposes for over 8 years.

✭ 29

c TeX python Makefile C++assembly teaching microkernel

Simple GUI based Operating System - Based upon my own Microcokernel, heavily inspired by the original 1980s AmigaOS (though somewhat simpler).

✭ 32

c assembly shell cli gui amiga operating-system x86 amigaos multitasking microkernel single-address-space not-unix

Simple microkernel (early stage)

✭ 18

c assembly Makefile shell javascript arm kernel osdev x86 aarch64 microkernel hacktoberfest x86-32 i686 fukuro

Abandoned overcomplicated Microkernel using modern x86_64 features

✭ 36

C++assembly c Meson kernel os osdev microkernel sigma-os

A highly secure, performant and robust operating system for the future 🌔 🚀

✭ 15

operating-system microkernel

华为鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，鸿蒙技术资料，手册，指南，共建国产操作系统万物互联新生态。

✭ 373

c C++python assembly shell Makefile linux harmony iot ai kernel maps architecture sensor linux-kernel os operating-system microkernel huawei hisilicon v2x development-tools 5g harmonyos openharmony wearabledevice

Microkernel and userspace written in Rust exploring modern ideas

✭ 217

rust kernel os osdev operating-system microkernel

xtrix OS repo

✭ 23

d python shell c assembly windows linux embedded debian microservice ubuntu arch gplv3 os osdev microkernel gpl3 microservice-architecture

The core components of the L4Re operating system.

✭ 39

C++c Makefile assembly python HTML arm mips multiserver operating-system x86 microkernel l4

Codezero Microkernel

✭ 93

c python assembly C++arm hypervisor microkernel l4-microkernel

Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models

✭ 42

c assembly C++python Makefile objective c kernel os microkernel monolithickernel multikernel mcube

A secure and high performances microkernel for building secure MCU-based IoTs

✭ 69

Ada perl c assembly python Smarty Makefile security arm microcontroller embedded spark microkernel armv7m ewok microcontroller-firmware ewok-kernel

multizone-linux

MultiZone® Security Enclave for Linux

✭ 18

c Makefile assembly linux security microservices firmware microkernel secure-boot risc-v tee trusted-computing hex-five trusted-execution-environment secure-element root-of-trust mutizone

project-dionysus

A research kernel written in modern C++.

✭ 24

C++CMake c python kernel operating-system microkernel

🌀 Microkernel Real-Time Operating System in Rust

✭ 20

rust operating-system microkernel rtos real-time-systems honours-project

MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.

✭ 82

c Makefile assembly nintendo kernel x86-64 os osdev operating-system microkernel operating-system-kernel limine

QEMU-based Docker image for Minix 3, based on the official CD-ROM ISO image installation from the Minix website

✭ 31

shell perl Dockerfile tcl Makefile docker docker-image qemu microkernel qemu-kvm minix minix3

Hobby operating system for amd64 with high ambitions - mirror

✭ 30

c perl CMake C++assembly Vim Script kernel osdev amd64 microkernel lowlevel hobby-os

🦠 µnix is a UNIX-like operating system

✭ 57

C++c Makefile python assembly raspberry-pi microcontroller kernel osdev operating-system unix-like microkernel cute-engineewing

A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.

✭ 21

C++c assembly Makefile shell CMake Scilab kernel x86-64 osdev operating-system window-manager smp microkernel baremetal

Rust operating system running WebAssembly as userspace in ring 0

✭ 83

rust assembly kernel x86-64 webassembly osdev operating-system microkernel

My hobby operating system microkernel written in Rust

✭ 33

rust python assembly shell osdev operating-system hobby-project microkernel

1-30 of 30 microkernel projects