Genode

Genode
El sistema desktop Sculpt basado en Genode
Información general
Tipo de programa	software libre
Desarrollador	Genode Labs, et al.
Modelo de desarrollo	Código abierto
Licencia	AGPLv3
Estado actual	En desarrollo, versión estable
Información técnica
Programado en	C++ y otros
Núcleo	NOVA,[1]​ Genode micronúcleo,[2]​ SeL4, Linux, Fiasco OC, Fiasco, OkL4, Pistachio
Tipo de núcleo	Micronúcleo
Plataformas admitidas	x86, x86-64,[3]​ ARM, RISC-V[4]​
Versiones
Última versión estable	19.08 (info) ( 28 de agosto de 2019 (4 años, 11 meses y 27 días))
Enlaces
Página web de Genode Sitio web oficial Repositorio de código
[editar datos en Wikidata]

Genode^[5]​^[6]​^[7]​ es un entorno de sistema operativo libre y de código abierto que está compuesto por una capa de abstracción micronúcleo y una colección de componentes de espacio de usuario. El proyecto destaca por ser uno de los pocos sistemas operativos de código abierto que no está inspirado en un sistema comercial como, por ejemplo, Unix. 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.

Genode se puede usar como base para sistemas operativos de escritorios^[8]​^[9]​ o de tabletas^[10]​ o como monitor de máquinas virtuales para sistemas operativos invitados. El entorno se ha utilizado como componente fiable de sistemas de virtualización seguros para las arquitecturas x86^[11]​ y ARM.^[12]​

Dado el escaso tamaño de su base de código, Genode es una alternativa flexible a otros sistemas operativos más complejos basados en Unix. Es por esto que el entorno se ha utilizado como sistema básico para la investigación en ámbitos tales como la virtualización,^[13]​ la comunicación entre procesos,^[14]​ el aislamiento de la pila IP,^[15]​ la monitorización^[16]​ y el desarrollo de software.^[17]​^[18]​

1. ↑ «NOVA OS Virtualization Architecture». 
2. ↑ Stein, Martin. «A kernel in a library, FOSDEM 2017». 
3. ↑ Larabel, Michael. «Genode Is Developing A GPU Multiplexer For Intel Graphics Hardware». Phoronix. 
4. ↑ «Genode OS adds RISC-V support». 
5. ↑ «Introduction of the Genode OS Framework». archive.fosdem.org/2012. 
6. ↑ «L4 Based Operating Systems». L4hq.org. Archivado desde el original el 14 de junio de 2018. Consultado el 25 de febrero de 2019. 
7. ↑ Larabel, Michael. «Redox OS, MINIX, Hurd & Genode Had Their Time At FOSDEM Too». Phoronix. 
8. ↑ Baader, Hans-Joachim. «Genode 2018.2 mit Sculpt OS». pro-linux.de. 
9. ↑ Larabel, Michael. «Sculpt Aims To Be A General-Purpose OS Built Atop Genode». 
10. ↑ Tarasikov, Alexander (11 de mayo de 2013). «Porting Genode to commercial hardware». allsoftwaresucks.blogspot.com. 
11. ↑ «Muen - An x86/64 Separation Kernel for High Assurance». 
12. ↑ Williams, John. «Inspecting data from the safety of your trusted execution environment». 
13. ↑ «Embassies: Radically Refactoring the Web». USENIX. 
14. ↑ Martin Wegner, Sönke Holthusen (11 de diciembre de 2014). «Contract Specification and language». ccc-project.org. Archivado desde el original el 27 de marzo de 2019. Consultado el 25 de febrero de 2019. 
15. ↑ Hammad, Mohammad (6 de enero de 2016). «The Secure Communication Module of CCC». ccc-project.org. Archivado desde el original el 23 de enero de 2019. Consultado el 25 de febrero de 2019. 
16. ↑ B.PRUTHIVIRAJ, G.S.MADHUSUTHUN, S.VIJAYASARATHY, K.CHAKRAPANI. «A MICROKERNEL BASED SECURE OPERATING SYSTEM USING GENODE FRAMEWORK». jatit.org. 
17. ↑ Hähne, Ludwig. «Empirical Comparison of SCons and GNU Make». 
18. ↑ Millo-Sánchez, Reinier & Paz Rodríguez, Waldo & Fajardo-Moya, Alexis. «Genode OS Framework, un framework para el desarrollo de sistemas embebidos». ResearchGate.