Het Genode-besturingssysteemframework breidt bestaande kernels (bijvoorbeeld microkernel of hypervisor) uit en biedt een uniforme API voor toepassingen. Ondersteuning voor kernel: L4ka::P istache, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco en Linux (x86-32, x86-64)
versiegeschiedenis
- Versie 11.02 geplaatst op 2011-02-25
Verschillende oplossingen en updates - Versie 11.02 geplaatst op 2011-02-25
Programmadetails
- Categorie: Ontwikkeling > Andere
- Publisher: genode.org/
- Licentie: Gratis
- Prijs: N/A
- Versie: 11.02
- Platform: windows