Linked by nfeske on Thu 28th Feb 2013 12:08 UTC
OSNews, Generic OSes The just released version 13.02 of the Genode OS Framework comes with major improvements of the underlying kernels. Using the NOVA kernel, the framework can be used to build custom operating systems for IOMMU-enabled machines while also leveraging hardware virtualization. Using Genode's custom kernel or the Fiasco.OC kernel, the new version targets ARM Cortex-A15-based systems such as the Exynos 5250 SoC.
Permalink for comment 554061
To read all comments associated with this story, please click here.
RE: Genode phone?
by nfeske on Sat 2nd Mar 2013 11:39 UTC in reply to "Genode phone?"
Member since:

Thank you for having taken the time to study the release notes. It is great to know that our work is appreciated.

Regarding your question about creating an OS for the general public, to be honest, this is actually not the goal of the project. (it might become a side effect though) Our driving motivation is to provide a compelling tool box to developers who use Genode to build solutions. Genode's role is the one of a supplier in a value chain. To give an example, Genode might be beneficial for medical equipment. But only if a medical-devices company decides to go for it, our system will enter this category of products.

Our stated aspiration to turn Genode into a general purpose OS is primarily motivated by our (developers) desire to use the system for our daily computing routine and to give proof of the soundness and fitness of the system. The result is not meant to be offered as a product to end users.

As far as I know, there are no Genode-based consumer devices on the horizon.

Reply Parent Score: 2