Genode OS Framework
Screenshots
Description
The Genode operating-system framework provides a uniform API for applications on top of 8 existing microkernels/hypervisors: Linux, L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, Codezero, and a custom kernel for ARM SoCs.
Categories
License
Features
- operating-system framework
- Nitpicker GUI
- drivers for PCI, PS/2, VESA graphics, ethernet NICs, USB HID and storage
- support for Linux x86-32, Linux x86-64, OKL4 x86, OKL4 gta01 (ARM), CodeZero, NOVA, L4::Pistachio, and L4/Fiasco
Update Notifications
User Ratings
User Reviews
There are no thumbs down reviews.