Genode OS Framework release 14.11

With the current release, we enable support for wireless networking including WiFi protected access (WPA) in Genode. The supported hardware is currently limited to Intel wireless chipsets, i.e., iwl6xxx. The second major improvement is a new scheduler for our custom HW kernel. The new scheduler allows to trade CPU resources among Genode subsystems, similarly to how RAM is managed in Genode.

Other highlights of Genode 14.11 are a new dynamic linker implemented from scratch with a complexity of less than 20% of the old ported one, an upgrade of VirtualBox to version 4.3.16 along with extensive stability improvements, networking support for Raspberry Pi, and new GUI components.

Detailed information about features and changes of Genode 14.11 is available in the release documentation at http://genode.org/documentation/release-notes/14.11