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