microkernel

https://gitlab.redox-os.org/redox-os/redox का मिरर

RT-Thread एक ओपन सोर्स IoT रियल-टाइम ऑपरेटिंग सिस्टम (RTOS) है। https://rt-thread.github.io/rt-thread/

Astrid संयोज्य सॉफ्टवेयर के लिए एक पोर्टेबल, क्षमता-सुरक्षित ऑपरेटिंग सिस्टम है।

seL4 माइक्रोकर्नल

पूरी तरह से एसिंक्रोनस I/O के साथ व्यावहारिक माइक्रोकर्नेल-आधारित OS

Rust में पुनः कार्यान्वित Zircon माइक्रोकर्नल।

शुरुआत से लिखा गया एक पोर्टेबल माइक्रोकर्नल-आधारित मल्टीसर्वर ऑपरेटिंग सिस्टम।

Huawei HarmonyOS और OpenHarmony विकास तकनीक आदान-प्रदान, सबसे व्यापक Harmony तकनीकी डेटाबेस, मैनुअल, गाइड

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

https://gitlab.redox-os.org/redox-os/kernel का मिरर

FreeNOS (Free Niek's Operating System) सीखने के उद्देश्यों के लिए C++ में लिखा गया एक प्रयोगात्मक माइक्रोकर्नेल आधारित ऑपरेटिंग सिस्टम है। आप GPLv3 की शर्तों के तहत कोड का उपयोग कर सकते हैं।

C++ में लिखा गया एक छोटा 64-बिट माइक्रोकर्नेल ऑपरेटिंग सिस्टम जिसमें SMP सपोर्ट है।

ARM Cortex-M कोर के लिए निर्मित एक कुशल और सुरक्षित माइक्रोकर्नेल, जो L4 से प्रेरित है

प्रायोगिक WASM माइक्रोकर्नेल ऑपरेटिंग सिस्टम।

Ghost, एक माइक्रो-कर्नेल आधारित हॉबी ऑपरेटिंग सिस्टम।

एक माइक्रोकर्नेल-आधारित हैकेबल ऑपरेटिंग सिस्टम।