Genode OS Framework 11.02

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen

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