ChacmOS

ChacmOS is a small component-based operating system that runs on top of L4Ka's Hazelnut microkernel. We released it under GPL because we think that developers who want to build their own systems might use some sample code. However, if you need an OS for everyday use, this is certainly not what you are looking for.

The ChacmOS system consists of four basic components (task server, memory server, name server and file server). Additional tasks can be started from the interactive shell, which can access user data from a ramdisk. For generating the necessary communication code, ChacmOS relies on the CORBA-based IDL⁴ stub generator.