Genode OS Framework release 18.05

The Year of Sculpt for Genode marches on with release 18.05 and Sculpt for The Curious (TC). This incarnation of Genode as a general-purpose operating system is tailored for those that follow our project with curiosity. Sculpt TC comes with a graphical user interface, which enables the user to interactively perform fundamental tasks like storage and network connectivity management as well as installation and deployment of software. On the back seat of this update Genode brings major improvements of the base framework (update of seL4 and Muen, modern font rendering, UTF-8 support), enhanced utilities (Java language support, improved Ada support, Seoul VMM update), and on the device driver side (support NVMe, NXP i.MX SoC). Additionally, the Genode Foundations book was updated to the state of Genode 18.05.

All topics of the current release are covered by the release documentation at https://genode.org/documentation/release-notes/18.05