Projects in Awesome Lists tagged with microkernel

https://github.com/redox-os/redox

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

bsd freebsd gnu gnu-hurd linux microkernel minix open-source openbsd operating-system plan9 posix redox rust sel4

Last synced: 29 Sep 2024

https://github.com/rt-thread/rt-thread

RT-Thread is an open source IoT real-time operating system (RTOS).

aiot arm cortex-a cortex-m embedded-systems iot kernel microcontroller microkernel mips real-time risc-v rtos

Last synced: 25 Sep 2024

https://github.com/RT-Thread/rt-thread

RT-Thread is an open source IoT real-time operating system (RTOS).

aiot arm cortex-a cortex-m embedded-systems iot kernel microcontroller microkernel mips real-time risc-v rtos

Last synced: 31 Jul 2024

https://github.com/seL4/seL4

The seL4 microkernel

microkernel os sel4 sel4-microkernel

Last synced: 31 Jul 2024

https://github.com/sel4/sel4

The seL4 microkernel

microkernel os sel4 sel4-microkernel

Last synced: 30 Sep 2024

https://github.com/nebulet/nebulet

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

microkernel nebulet operating-system osdev rust webassembly

Last synced: 31 Jul 2024

https://github.com/rcore-os/zCore

Zircon microkernel reimplemented in Rust.

microkernel zircon

Last synced: 01 Aug 2024

https://github.com/HelenOS/helenos

A portable microkernel-based multiserver operating system written from scratch.

components drivers gui helenos kernel microkernel multicore multiserver operating-system sound tcp-ip usb

Last synced: 31 Jul 2024

https://github.com/managarm/managarm

Pragmatic microkernel-based OS with fully asynchronous I/O

asynchronous-io hacktoberfest microkernel modern-cpp operating-system posix-compatible x86-64

Last synced: 30 Sep 2024

https://github.com/brutal-org/brutal

🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering

c hobby-os kernel microkernel modern-c operating-system osdev

Last synced: 30 Sep 2024

https://github.com/fenwii/openharmony

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

5g ai architecture development-tools harmony harmonyos hisilicon huawei iot kernel linux linux-kernel maps microkernel openharmony operating-system os sensor v2x wearabledevice

Last synced: 28 Sep 2024

https://github.com/nieklinnenbank/freenos

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.

arm c-plus-plus intel microkernel operating-system raspberry-pi raspberrypi

Last synced: 28 Sep 2024

https://github.com/fenwii/OpenHarmony

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

5g ai architecture development-tools harmony harmonyos hisilicon huawei iot kernel linux linux-kernel maps microkernel openharmony operating-system os sensor v2x wearabledevice

Last synced: 31 Jul 2024

https://github.com/nieklinnenbank/FreeNOS

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.

arm c-plus-plus intel microkernel operating-system raspberry-pi raspberrypi

Last synced: 01 Aug 2024

https://github.com/maxdev1/ghost

Ghost, a micro-kernel based hobby operating system.

ghost gui kernel libc microkernel os x86

Last synced: 04 Aug 2024

https://github.com/nuta/resea

A microkernel-based hackable operating system.

microkernel operating-system

Last synced: 02 Aug 2024

https://github.com/sorpaas/rux

A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.

kernel microkernel

Last synced: 01 Aug 2024

https://github.com/IsaacWoods/poplar

Microkernel and userspace written in Rust exploring modern ideas

kernel microkernel operating-system os osdev risc-v rust x86-64

Last synced: 02 Aug 2024

https://github.com/jonaskruckenberg/k23

Experimental WASM Microkernel Operating System

microkernel operating-system research wasm

Last synced: 03 Oct 2024

https://github.com/deislabs/mystikos

Tools and runtime for launching unmodified container images in Trusted Execution Environments

alpha docker intel microkernel sgx tee

Last synced: 01 Aug 2024

https://github.com/hex-five/multizone-sdk

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

attestation container digilent-arty-board firmware fpga freertos hypervisor microkernel multizone risc-v root-of-trust secure-boot secure-element security sifive tee trusted-computing trusted-execution-environment trustzone xilinx