Technical articles about the Genode OS Framework

Bringing Genode to the OKL4 kernel

This article describes the process of porting the Genode OS Framework to the OKL4 kernel version 2.1.

Document Actions
© 2009 Genode Labs