Genode 9.11 Gets Webkit, USB Storage, lwIP, ARM Support
Genode is a framework for creating custom microkernel-based operating systems, currently supporting four different kernels. With the new 9.11 release, the project moves beyond the x86 architecture by adding initial support for ARM CPUs. Among the long list of further improvements, there is added support for USB storage, a light-weight IP stack, Qt/Webkit, a zero-footprint runtime for Ada programs, and the addition of a paravirtualized Linux kernel to the mainline distribution. These and more changes are described in full detail in the release notes for version 9.11.