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.
- 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
genode works perfectly, thanks