Genode

La filosofía tras el diseño se centra principalmente en que una base pequeña de computación fiable es esencial en un sistema operativo orientado a la seguridad.El informe fue motivado en parte por los conocimientos adquiridos en las investigaciones que se llevaron a cabo simultáneamente sobre los microhipervisores L4.Este diseño jerárquico proporciona una compartimentación intuitiva y una deescalada de privilegios porque los subsistemas especializados están anidados dentro de subsistemas más genéricos, mitigando el problema conocido como “confused deputy problema” que es endémico en sistemas con políticas centralizadas o con superusuario.Mientras que Genode utiliza herencia múltiple y plantillas en su biblioteca del sistema, no se permite el uso de la biblioteca estándar de C++ y las características que se basan en el estado global implícito, tales como el almacenamiento de hilo local y el asignador global han sido eliminadas del entorno del lenguaje.El dialecto que utiliza Genode es un subconjunto simple del lenguaje XML, no obstante, algunos nuevos usuarios con frecuencia advierten de que la edición de XML resulta tediosa y proclive al error.Declarar explícitamente los permisos y las rutas de los componentes puede parecer que requiere más trabajo en comparación con UNIX.El proyecto Genode publica un sistema operativo desktop llamado Sculpt, pensado para el usuario de laptops actual.