Genode 10.02 Gets Real-Time Support, Adds Codezero, NOVA
With the new version 10.02, the Genode OS Framework significantly extends its supported base platforms by the addition of two modern microkernels, namely Codezero and NOVA. In contrast to most operating systems that are tied to one respective kernel, Genode enables the development of specialized component-based operating systems that are portable across 6 different kernels including the whole family of open-source L4 kernels. Each kernel has different strengths, which increasingly become available at the framework's API level. For example, the new version 10.02 enables applications to benefit from the real-time scheduling as provided by the OKL4 and L4ka::Pistachio kernels.
