Rangka kerja sistem operasi Genode memperluaskan kernel sedia ada (contohnya, mikrokernel atau hipervisor) dan menyediakan API seragam untuk aplikasi. Sokongan kernel: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco, dan Linux (x86-32, x86-64)
sejarah versi
- Versi 11.02 diposkan pada 2011-02-25
Beberapa pembaikan dan pengemaskinian - Versi 11.02 diposkan pada 2011-02-25
Butiran Atur Cara
- Kategori: Pembangunan > Lain
- Penerbit: genode.org/
- Lesen: Percuma
- Harga: N/A
- Versi: 11.02
- Platform: windows