1.redox-os / redoxMirror of https://gitlab.redox-os.org/redox-os/redoxredoxrustmicrokerneloperating-systembsdfreebsd+9 moreRustMIT17K total1K forks+19 starsfrom 16,657 · score 3.00
2.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+14 starsfrom 12,306 · score 2.71
3.astrid-runtime / astridAstrid is a portable, capability-secure operating system for composable software.agent-runtimeai-agentscapability-securityllmmcpmicrokernel+4 moreRustAPACHE-2.010K total145 forks+4 starsfrom 10,286 · score 1.61