O quadro do sistema operativo Genode alarga os núcleos existentes (por exemplo, microkernel ou hipervisor) e fornece uma API uniforme para aplicações. Suporte kernel: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco, e Linux (x86-32, x86-64)
história da versão
- Versão 11.02 postado em 2011-02-25
Várias correções e atualizações - Versão 11.02 postado em 2011-02-25
Detalhes do programa
- Categoria: Desenvolvimento > Outros
- Editor: genode.org/
- Licença: Grátis
- Preço: N/A
- Versão: 11.02
- Plataforma: windows