El marco del sistema operativo Genode amplía los kernels existentes (por ejemplo, microkernel o hipervisor) y proporciona una API uniforme para las aplicaciones. Soporte del núcleo: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco y Linux (x86-32, x86-64)
historial de versiones
- Versión 11.02 publicado en 2011-02-25
Varias correcciones y actualizaciones - Versión 11.02 publicado en 2011-02-25
Detalles del programa
- Categoría: Desarrollo > Otro
- Editor: genode.org/
- Licencia: Gratis
- Precio: N/A
- Versión: 11.02
- Plataforma: windows