Linked by nfeske on Thu 29th Nov 2012 17:38 UTC
OSNews, Generic OSes With the just released version 12.11, the developers of the Genode OS Framework are celebrating the break-through to execute the entire build system based on GCC 4.7.2 within their genuine operating-system environment. The new release gets accompanied with new audio drivers from the Open Sound System project, extended support for OMAP4, and numerous stability and performance improvements concerning the underlying kernel platforms.
Permalink for comment 544164
To read all comments associated with this story, please click here.
RE[8]: I feel like a thicko
by zima on Tue 4th Dec 2012 14:39 UTC in reply to "RE[7]: I feel like a thicko"
Member since:

Reading about how OKL4 is used reminded me about another thing - apparently there was already a "main-stream computing" example of ~microkernel OS, in the form of (2nd revision) ? ;)
Still, rather hidden of course...

Later Symbian versions were also similar, IIRC.

Edited 2012-12-04 14:40 UTC

Reply Parent Score: 2