Más bien el marco para la construcción de sistemas operativos: esa es la terminología preferida por los autores de Genode Labs.
Este constructor de sistemas operativos de microkernel soporta varios microkernels de la familia L4, el núcleo Muen y su propio núcleo minimalista base-hw.
Los desarrollos están disponibles bajo la licencia AGPLv3 y, si se desea, bajo licencia comercial: https://genode.org/about/licenses
El intento de hacer una versión accesible para personas que no son entusiastas del desarrollo de microkernels se llama SculptOS: https://genode.org/download/sculpt
En esta versión:
- una reestructuración completa de la pila gráfica (que en el futuro permitirá reiniciar los controladores sin problemas en caso de fallo)
- mejoras en la integración de Qt, que han permitido portear parcialmente el navegador Falkon (lo cual ilustra bastante bien el grado de preparación de este SO para los usuarios comunes)
- actualizaciones del subsistema de cifrado (¡escrito en SPARK/Ada!)
- actualizaciones del VFS
- y muchas otras mejoras
Entre las características de este proyecto se pueden destacar las siguientes:
- uso generalizado de xml como formato de configuración — lo que puede causar idiosincrasias en algunos comentaristas
- un estándar ejemplar en la redacción de notas de lanzamiento y documentación — si todos los proyectos de código abierto siguieran tales estándares, la vida sería fácil y sorprendente
En general, el proyecto se beneficia de lanzamientos regulares, se desarrolla activamente y parece muy prometedor como alternativa a GNU/Linux en un brillante futuro de microkernels. Lamentablemente, la falta de un puerto de Emacs desmotiva al autor de la noticia a intentar familiarizarse con los desarrollos del proyecto más allá de la simple lectura de la documentación.
Fuente: linux.org.ru
