Search Results for "microkernel"
Refine Search
Quick Links
Search Results
Found 4 results for "microkernel"
Serenity OS
Serenity OS is an open source operating system written from scratch. It has a focus …
HarmonyOS
HarmonyOS is an open-source, microkernel-based operating system developed by Huawei. It is designed for various …
GNU Hurd
GNU Hurd is an open source microkernel-based operating system designed to be secure, compliant with …
MINIX 3
MINIX 3 is a free and open-source, POSIX-compliant operating system based on a microkernel architecture. …