Description Genode Operating System Framework
Has website
Persons working on Ehmry
Self-organized sessions create self-organized session
Tags microkernel, os, security
Located at village Village:ChaosZone
Other projects... ... further results

Genode is a free and open-source operating system framework consisting of a microkernel abstraction layer and a collection of userspace components. The framework is notable as one of the few open-source operating systems not derived from a proprietary OS, such as Unix. The characteristic design philosophy is that a small trusted computing base is of primary concern in a security-oriented OS. (from Wikipedia)

If you want to know more about Genode, contact Emery at the ChaosZone village or via Jabber.