The lecture by Norman Feske for Summer Systems School'12. …
The lecture by Norman Feske for Summer Systems School'12.
SSS'12 - Education event, organized by ksys labs in 2012, for students interested in system software development and information security.
Genode - 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 the MicroBlaze architecture.