Search Results for "microkernel"

Genode is a capability-based, component-oriented operating system framework focused on building secure, modular, and flexible operating systems. Unlike monolithic or microkernel-only designs, Genode allows developers to construct OSes from fine-grained components that communicate through well-defined interfaces. It supports multiple kernels including NOVA, seL4, and Fiasco.OC, and has been used to build everything from microhypervisors to full desktops. Genode places strong emphasis on security, fault isolation, and formal verifiability, making it ideal for critical systems and research environments.

HelenOS is a portable microkernel-based multiserver operating system written from scratch. It decomposes key operating system functionality such as file systems, networking, device drivers and graphical user interface into a collection of fine-grained user space components that interact with each other via message passing. A failure or crash of one component does not directly harm others.

Xyris is a microkernel-based operating system developed with a focus on modularity, simplicity, and modern code practices. Written in C++, Xyris separates drivers and system services into isolated components using message passing, in line with microkernel philosophy. It’s designed as a research and hobbyist OS, with a clean codebase and early implementations of multitasking, system calls, and filesystem abstractions.

Lorena es un sistema operativo de tipo microkernel, escrito en C, C++ y Ensamblador y basado en NextDivel.

yaMOS stands for: yet another "My Operating System". This is a hobby Operating System, let's see to what it develops... At the moment it's only a kernel written in C++ and Assemly.

FOS - open source 32-bit microkernel operating system.

MDF is microkernel operating system. Module architecture minimalistic design.