Genode

Un marc per construir sistemes on cada component només pot fer allò per al qual se li va donar permís explícit, amb microkernel. Sculpt OS és el sistema d'escriptori que en surt, i es publica dues o tres vegades l'any.