Genode OS Framework 16.11 Now Available

The latest installment of the ten-year-old Genode open-source operating system framework is now available with low-level improvements, support for smart cards, and kernel improvements to the NOVA hypervisor...