Technical articles about the Genode OS Framework
- An Exploration of ARM TrustZone Technology
The article summarizes our experience with investigating ARM TrustZone and building prototypes using this technology. It is supplemented by a video demonstrating TrustZone on an i.MX53 SABRE tablet.
- 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.