1.astrid-runtime / astridAstrid is a portable, capability-secure operating system for composable software.agent-runtimeai-agentscapability-securityllmmcpmicrokernel+4 moreRustAPACHE-2.010K total145 forks+10,281 starsfrom 9 · score 9.24
2.redox-os / redoxMirror of https://gitlab.redox-os.org/redox-os/redoxredoxrustmicrokerneloperating-systembsdfreebsd+9 moreRustMIT17K total1K forks+485 starsfrom 16,191 · score 6.19
3.RT-Thread / rt-threadRT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/embedded-systemskerneliotrtosarmcortex-m+7 moreCAPACHE-2.012K total5.5K forks+448 starsfrom 11,872 · score 6.11
4.wookey-project / ewok-kernelA secure and high performances microkernel for building secure MCU-based IoTsadamicrokernelembeddedsecuritymicrocontrollermicrocontroller-firmware+5 moreAdaAPACHE-2.079 total10 forks+2 starsfrom 77 · score 1.10