Furthermore, there are many improvements specific for the different base platforms. The OKL4-kernel support as added with the previous release motivated code unifications among all four supported kernel platforms. The kernel-specific lines of code, which provide complete kernel abstractions, have become as little as 1800 (OKL4), 1500 (Linux), 1600 (L4/Fiasco), and 2000 (L4ka::Pistachio) lines of C++ code.
With regard to Linux as base platform, the project reached its goal to make the base framework completely independent from Linux' userland infrastructure. Core is now executed on the raw Linux kernel without linking against glibc. Thereby, the Linux version of Genode is on the way to become the lowest-complexity (regarding source-code complexity) Linux-kernel-based OS available.
The introduction of the dynamic linker ported from FreeBSD promises a significant reduction of binary sizes and, thereby, will finally allay fears about the resource requirements of using Qt4 on Genode.
Read on about all the improvements in the release notes for version 9.08.