Genode OS 16.08 Released With seL4 Kernel Improvements
A new release of the Genode operating system framework is now available.
Genode OS 16.08 allows running more software off the seL4 micro-kernel, adds support for virtual networking and Tor, support for VirtualBox on top of the Muen separation kernel, support for VirtualBox 5 on their NOVA kernel, virtual AHCI controller support, statistical profiling support, and more.
Those interested in the Genode OS framework and the interesting operating system research that's coming out of it can learn more via the 16.08 release notes.
Genode OS 16.08 allows running more software off the seL4 micro-kernel, adds support for virtual networking and Tor, support for VirtualBox on top of the Muen separation kernel, support for VirtualBox 5 on their NOVA kernel, virtual AHCI controller support, statistical profiling support, and more.
Those interested in the Genode OS framework and the interesting operating system research that's coming out of it can learn more via the 16.08 release notes.
1 Comment