Meet us at FOSDEM 2015
The date for next year's FOSDEM is set and we are happy that the microkernel developer room will be part of it again. FO…
The date for next year's FOSDEM is set and we are happy that the microkernel developer room will be part of it again. FO…
The seL4 kernel is widely regarded as a break-through in operating systems. It is the first OS kernel that is formally p…
We are happy to announce the release of Genode 14.11 that comes with a much anticipated feature: wireless networking on…
The work on the Live CD motivated a vast amount of improvements throughout the framework. The result of these efforts is…
The web browser mentioned above is one of the tech demos that we compiled on a new Live CD of the Genode OS Framework. T…
The Genode OS Framework has reached a level that enables new and exciting applications that would be extremely hard to a…
Genode Labs is pleased to announce the availability of the 1st anniversary release of the Genode OS Framework (http://ge…
Wir freuen uns, die Veröffentlichung der Version 9.08 des Genode OS Frameworks (http://genode.org) bekannt geben zu dürf…