http://www.genode-labs.com daily 1 2008-06-26T15:39:18Z http://www.genode-labs.com/news/genode-os-framework-version-10.05-released Version 10.05 of our operating-system framework introduces mandatory access control, adds sound support, and advances the integration with the paravirtualized OKLinux kernel. No publisher Norman Feske 2010-05-28T14:57:42Z News Item http://www.genode-labs.com/news/genode-os-framework-version-10.02-released With the addition of the Codezero and NOVA kernels as base platforms, our framework for building specialized component-based operating systems strives to capture new application areas. No publisher Norman Feske 2010-02-24T14:05:44Z News Item http://www.genode-labs.com/news/genode-labs-leaves-behind-its-infancy Our company changes its legal status from GbR to GmbH. No publisher Norman Feske 2010-01-29T11:39:14Z News Item http://www.genode-labs.com/news/genode-os-framework-version-9.11-released The new release introduces a Linux virtualization solution, Webkit support, the light-weight IP stack, and support for the ARM architecture. No publisher Norman Feske 2009-11-25T10:04:54Z News Item