Genode

Un marco para construir sistemas donde cada componente solo puede hacer aquello para lo que se le dio permiso explícito, con microkernel. Sculpt OS es el sistema de escritorio que sale de él, y se publica dos o tres veces al año.