Topic: microkernel Goto Github

👇 Here are 174 public repositories matching this topic...

brutal-org / brutal
microkernel,🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
Organization: brutal-org
Home Page: https://brutal.smnx.sh/
c hobby-os kernel microkernel modern-c operating-system osdev

cute-engineering / munix-legacy
microkernel,🦠 µnix is a UNIX-like operating system
Organization: cute-engineering
raspberry-pi unix-like operating-system kernel c assembly microcontroller microkernel osdev cute-engineewing

deislabs / mystikos
microkernel,Tools and runtime for launching unmodified container images in Trusted Execution Environments
Organization: deislabs
tee sgx docker microkernel alpha intel

dentosal / rust_os
microkernel,My hobby operating system microkernel written in Rust
User: dentosal
operating-system rust osdev hobby-project microkernel

diodesign / diosix
microkernel,A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
User: diodesign
Home Page: https://diosix.org/
diosix hypervisor kernel microkernel risc-v riscv rust

edi-systems / m7m01_mueukaron
microkernel,An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY
User: edi-systems
capability-based containers cortex-m hypervisor iot mcu microcontroller microkernel multi-core virtualization

f9micro / f9-kernel
microkernel,An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Organization: f9micro
l4-microkernel arm cortex-m microkernel embedded

fenwii / openharmony
microkernel,华为开源鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。
User: fenwii
huawei openharmony harmonyos kernel linux linux-kernel os operating-system ai iot

h5n1xp / curios
microkernel,Simple GUI based Operating System - Based upon my own Microcokernel, heavily inspired by the original 1980s AmigaOS (though somewhat simpler).
User: h5n1xp
amiga amigaos operating-system microkernel single-address-space not-unix multitasking cli gui x86

helenos / helenos
microkernel,A portable microkernel-based multiserver operating system written from scratch.
Organization: helenos
Home Page: http://www.helenos.org
microkernel drivers multiserver components kernel gui tcp-ip usb multicore helenos

hex-five / multizone-sdk
microkernel,MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn't define TrustZone-like primitives to provide hardware separation. To shield critical functionality from untrusted third-party components, MultiZone provides hardware-enforced, software-defined separation of multi
Organization: hex-five
Home Page: https://hex-five.com/multizone-security-tee-riscv/
risc-v security tee multizone trusted-computing trusted-execution-environment secure-element firmware secure-boot root-of-trust

ikoene / symfony-micro
microkernel,Use Symfony as a microframework.
User: ikoene
micro-framework microkernel symfony symfony-micro

isaacwoods / poplar
microkernel,Microkernel and userspace written in Rust exploring modern ideas
User: isaacwoods
Home Page: https://poplar.isaacwoods.dev
operating-system os rust microkernel kernel osdev risc-v x86-64

jimx- / lyos
microkernel,Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
User: jimx-
microkernel operating-system

jserv / codezero
microkernel,Codezero Microkernel
User: jserv
l4-microkernel arm hypervisor microkernel embedded

kaneton / kaneton
microkernel,kaneton is an educational microkernel that has been used for teaching purposes for over 8 years.
Organization: kaneton
Home Page: http://kaneton.opaak.org/
microkernel teaching

kernkonzept / fiasco
microkernel,The development version of the L4Re Microkernel
Organization: kernkonzept
Home Page: https://github.com/kernkonzept/fiasco/wiki
microkernel hypervisor l4 virtualization arm mips x86 realtime operating-system

kernkonzept / l4re-core
microkernel,The core components of the L4Re operating system.
Organization: kernkonzept
multiserver l4 arm mips x86 microkernel operating-system

kwast-os / kwast
microkernel,Rust operating system running WebAssembly as userspace in ring 0
Organization: kwast-os
kernel microkernel operating-system osdev rust webassembly x86-64

littlefox94 / lf-os_amd64
microkernel,Hobby operating system for amd64 with high ambitions - mirror
User: littlefox94
Home Page: https://praios.lf-net.org/littlefox/lf-os_amd64
kernel hobby-os lowlevel osdev amd64 microkernel

madworx / docker-minix
microkernel,QEMU-based Docker image for Minix 3, based on the official CD-ROM ISO image installation from the Minix website
User: madworx
docker docker-image microkernel minix minix3 qemu qemu-kvm

managarm / managarm
microkernel,Pragmatic microkernel-based OS with fully asynchronous I/O
Organization: managarm
operating-system microkernel asynchronous-io posix-compatible modern-cpp x86-64 hacktoberfest

maxdev1 / ghost
microkernel,Ghost, a micro-kernel based hobby operating system.
User: maxdev1
Home Page: http://ghostkernel.org/
kernel os ghost x86 microkernel gui libc

nebulet / nebulet
microkernel,A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Organization: nebulet
microkernel nebulet operating-system osdev rust webassembly

nieklinnenbank / freenos
microkernel,FreeNOS (Free Niek's Operating System) is an experimental microkernel based operating system for learning purposes written in C++. You may use the code as you wish under the terms of the GPLv3.
User: nieklinnenbank
Home Page: http://www.FreeNOS.org
arm c-plus-plus intel microkernel operating-system raspberry-pi raspberrypi

nils-tud / escape
microkernel,Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
User: nils-tud
microkernel operating-system unix-like from-scratch

nuta / microkernel-book
microkernel,
User: nuta
microkernel educational operating-system

nuta / resea
microkernel,A microkernel-based hackable operating system.
User: nuta
microkernel operating-system

oro-os / kernel
microkernel,Kernel for the Oro Operating System
Organization: oro-os
Home Page: https://oro.sh
hybrid-kernel kernel microkernel operating-system operating-system-kernel

pflab-ut / mcube
microkernel,Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
Organization: pflab-ut
os kernel c monolithickernel microkernel multikernel mcube

phoenix-rtos / phoenix-rtos-kernel
microkernel,Phoenix-RTOS microkernel repository
Organization: phoenix-rtos
Home Page: http://phoenix-rtos.com
kernel microkernel operating-system real-time realtime-operating-systems rtos

pitust / xtrix
microkernel,xtrix OS repo
User: pitust
gpl3 linux debian ubuntu arch windows c os osdev javascript typescript d microkernel microservice microservice-architecture gplv3 python micropython embedded

pok-kernel / pok
microkernel,POK kernel. Safe and secure for safety-critical systems.
Organization: pok-kernel
Home Page: https://pok-kernel.github.io/
c kernel mils arinc653 security microkernel

r1ru / mavis
microkernel,A proof-of-concept using WASM runtime as a kernel
User: r1ru
microkernel wasm

rcore-os / zcore
microkernel,Zircon microkernel reimplemented in Rust.
Organization: rcore-os
zircon microkernel

redox-os / redox
microkernel,Mirror of https://gitlab.redox-os.org/redox-os/redox
Organization: redox-os
redox rust microkernel operating-system

rezgui / fpos
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 high level functional language to study the developement process and the use of Scheme to build a fairly complex system.
User: rezgui
operating-system freepascal pascal os kernel microkernel pascal-language pascal-programming pascal-compiler

robert-w-gries / rxinu
microkernel,Rust implementation of Xinu educational operating system
User: robert-w-gries
xinu kernel rust operating-system microkernel

rt-thread / rt-thread
microkernel,RT-Thread is an open source IoT real-time operating system (RTOS).
Organization: rt-thread
Home Page: https://www.rt-thread.io
embedded-systems kernel iot rtos arm cortex-m cortex-a risc-v mips microcontroller

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

sel4 / sel4
microkernel,The seL4 microkernel
Organization: sel4
Home Page: https://sel4.systems
sel4-microkernel os microkernel sel4

sigma-os / sigma
microkernel,Abandoned overcomplicated Microkernel using modern x86_64 features
Organization: sigma-os
microkernel sigma-os os osdev kernel cpp

smallpond / mit6.828_os
microkernel,MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
User: smallpond
Home Page: https://pdos.csail.mit.edu/6.828/2018/schedule.html
xv6 jos mit opreating-systems microkernel

sorpaas / rux
microkernel,A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
User: sorpaas
Home Page: https://source.that.world/source/rux/
kernel microkernel

sparkle-os / sparkle
microkernel,✨ a microkernel in Rust
Organization: sparkle-os
rust operating-system microkernel

theonekevin / cxkernel
microkernel,A hobbyist operating system created from scratch ⚙️. This is where I test my ✨ craziest ✨ operating system design ideas.
User: theonekevin
Home Page: https://theonekevin.gitbook.io/notes/microkernel-design
c-plus-plus hobby-os hobby-project microkernel operating-system osdev

tix3dev / apoptos
microkernel,A modern x86_64 UNIX-like microkernel-based operating system
User: tix3dev
assembly c hobby-kernel hobby-os limine microkernel operating-system os osdev x86-64

udosteinberg / nova
microkernel,NOVA Microhypervisor
User: udosteinberg
Home Page: http://hypervisor.org
security performance kernel cplusplus x86-64 virtualization hypervisor aarch64 microkernel microhypervisor

v01d-null / moonos
microkernel,MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
User: v01d-null
kernel limine os operating-system operating-system-kernel microkernel osdev nintendo x86-64

wookey-project / ewok-kernel
microkernel,A secure and high performances microkernel for building secure MCU-based IoTs
Organization: wookey-project
Home Page: https://wookey-project.github.io
ada microkernel embedded security microcontroller microcontroller-firmware ewok-kernel ewok arm armv7m