Genode işletim sistemi çerçevesi mevcut çekirdekleri (örn. mikrokernel veya hipervizör) genişletir ve uygulamalar için tek tip bir API sağlar. Çekirdek desteği: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco ve Linux (x86-32, x86-64)
sürüm geçmişi
- Sürüm 11.02 tarihinde gönderildi 2011-02-25
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm 11.02 tarihinde gönderildi 2011-02-25
Program Detayları
- Kategori: Geliştirme > Diğer
- Yayımcı: genode.org/
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: 11.02
- Platform: windows