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 554094
To read all comments associated with this story, please click here.
Member since:

I don't actually recall seeing anywhere that the 'OS' stands for Operating System. It seems a logical conclusion, but it might also have stood for Open Source, or just a cool sounding domain at the time it was registered. Maybe someone with authority on the subject can divulge the original intention for the domain?

The first question & answer in FAQs (at the top of this page) makes it pretty clear it's "operating systems" ...still, some OSS zealots don't seem to realise that, from time to time.

(and are you sure many people wouldn't be put off by such series of articles? Look what kinds of topics are most commented ;p )

Reply Parent Score: 2