Más precisamente, un marco para construir sistemas operativos: esta es la terminología preferida por los autores de Genode Labs.
Este diseñador de sistema operativo de microkernel admite varios microkernels de la familia L4, el kernel Muen y su propio kernel base-hw minimalista.
Los desarrollos están disponibles bajo licencia AGPLv3 y, previa solicitud, licencia comercial: https://genode.org/about/licenses
Un intento de hacer que una opción esté disponible para que la utilicen personas que no sean entusiastas del microkernel se llama SculptOS: https://genode.org/download/sculpt
En esta versión:
- rediseño completo de la pila de gráficos (en el futuro permitirá reiniciar los controladores sin problemas en caso de falla)
- mejoras en la integración de Qt, que permitieron portar parcialmente el navegador Falkon (lo que ilustra claramente el grado de preparación para el uso del sistema operativo por parte de la gente común)
- actualizaciones del subsistema de cifrado (escrito en SPARK/Ada!)
- Actualizaciones 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 idiosincrasia para algunos comentaristas
- Nivel estándar de redacción de notas de lanzamiento y documentación: si todos los proyectos de código abierto cumplieran con estándares similares, la vida sería fácil y sorprendente.
En general, el proyecto agrada con lanzamientos regulares, se está desarrollando activa y sistemáticamente y parece muy prometedor como alternativa a GNU/Linux en un futuro brillante del microkernel. Desgraciadamente, la falta de un port para Emacs desmotiva al autor de la noticia a intentar conocer el desarrollo del proyecto más profundamente que leer la documentación.
Fuente: linux.org.ru