🎯
Focusing
Systems Software/Hardware Development
Pinned Loading
-
M5P01_Prokaron
M5P01_Prokaron PublicA tiny real-time kernel focusing on formal reliability and simplicity.
-
-
-
M7M01_Eukaron
M7M01_Eukaron PublicAn capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY
-
M7M02_Ammonite
M7M02_Ammonite PublicA virtual machine monitor for MCUs, as well as a MCU-oriented user-level library for M7M1.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.