Technical articles about the Genode OS Framework
- How Genode came to the Pandaboard
-
The experience report gives insights into the steps taken to enable and optimize the Genode OS Framework on the OMAP4-based Pandaboard.
- Bringing Genode to the OKL4 kernel
-
This article describes the process of porting the Genode OS Framework to the OKL4 kernel version 2.1.