Topic: microkernel Goto Github

👇 Here are 192 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/
osdev hobby-os microkernel kernel c operating-system modern-c

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

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/
rust riscv kernel microkernel hypervisor risc-v diosix

edi-systems / m7m01_eukaron
microkernel,An microkernel focusing on hyperadaptability, hyperreusability, and hyperdeployability.
User: edi-systems
microkernel hypervisor virtualization mcu cortex-m microcontroller iot multi-core risc-v

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

fosd-project / fosd
microkernel,Framework of Operating System Development
Organization: fosd-project
asynchronous-io microkernel operating-system x86-64

genodelabs / genode
microkernel,Genode OS Framework
Organization: genodelabs
Home Page: https://genode.org/
arm cplusplus framework genode goa hypervisor linux microkernel nova object-capabilities

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 cli gui microkernel multitasking not-unix operating-system single-address-space x86

helenos / helenos
microkernel,A portable microkernel-based multiserver operating system written from scratch.
Organization: helenos
Home Page: https://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
kernel microkernel operating-system os osdev risc-v rust 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

jonaskruckenberg / k23
microkernel,Experimental WASM Microkernel Operating System
User: jonaskruckenberg
Home Page: https://jonaskruckenberg.github.io/k23/
microkernel operating-system research wasm

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

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
osdev rust kernel webassembly operating-system microkernel 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

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

nanvix / kernel
microkernel,Research Operating System Kernel
Organization: nanvix
Home Page: https://github.com/nanvix
operating-system microkernel rust

nanvix / nanvix
microkernel,Microkernel-Based Research Operating System
Organization: nanvix
Home Page: https://github.com/nanvix
operating-system rust microkernel

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

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
c-plus-plus operating-system microkernel arm intel raspberrypi raspberry-pi

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
c kernel mcube microkernel monolithickernel multikernel os

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

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

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

redox-os / kernel
microkernel,Mirror of https://gitlab.redox-os.org/redox-os/kernel
Organization: redox-os
linux microkernel plan9 redox rust sel4 syscall

redox-os / redox
microkernel,Mirror of https://gitlab.redox-os.org/redox-os/redox
Organization: redox-os
redox rust microkernel operating-system bsd freebsd gnu gnu-hurd linux minix

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
freepascal kernel microkernel operating-system os pascal pascal-compiler pascal-language pascal-programming

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
kernel microkernel operating-system-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
cpp kernel microkernel os osdev sigma-os

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

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 spark