With this year's November release we close one of the last functional gaps to employ Genode as day-to-day operating system on modern laptops. The support for Intel WiFi hardware incl. WPA comes as a component that just snaps in place beside out support for wired NICs. The second major improvement is the new scheduler for or custom HW kernel that supports trading of CPU resources among Genode subsystems, similarly to how memory is managed on Genode. The highlights of this release are
- Intel wireless stack - New CPU scheduler for the base-hw kernel - New dynamic linker - VirtualBox version 4.3.16 running on NOVA - Updated Seoul VMM running on NOVA - New GUI-architecture components - Improved integration of Qt5 - Extended Raspberry-Pi driver support - Tool-chain update to GCC 4.7.4
The whole story is available in the release documentation
http://genode.org/documentation/release-notes/14.11
Happy hacking