Khung hệ điều hành Genode mở rộng các hạt nhân hiện có (ví dụ: microkernel hoặc hypervisor) và cung cấp một API thống nhất cho các ứng dụng. Hỗ trợ hạt nhân: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco và Linux (x86-32, x86-64)
lịch sử phiên bản
- Phiên bản 11.02 đăng trên 2011-02-25
Một số bản sửa lỗi và cập nhật - Phiên bản 11.02 đăng trên 2011-02-25
Chi tiết chương trình
- Mục: Phát triển > Khác
- Publisher: genode.org/
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 11.02
- Nền tảng: windows