Linked by nfeske on Thu 29th Nov 2012 17:38 UTC
Permalink for comment 544146
To read all comments associated with this story, please click here.
To read all comments associated with this story, please click here.
News
Linked by Thom Holwerda on 06/20/13 6:17 UTC, submitted by MOS6510
Linked by Thom Holwerda on 06/19/13 23:02 UTC, submitted by M.Onty
Linked by Thom Holwerda on 06/19/13 22:28 UTC
Linked by Thom Holwerda on 06/18/13 22:33 UTC
Linked by Anonymous on 06/18/13 22:26 UTC
Linked by Thom Holwerda on 06/18/13 22:25 UTC
Linked by Thom Holwerda on 06/18/13 17:45 UTC
Linked by Thom Holwerda on 06/18/13 17:32 UTC, submitted by poundsmack
Linked by Thom Holwerda on 06/17/13 17:58 UTC
Linked by Thom Holwerda on 06/17/13 17:52 UTC
More News »
Sponsored Links



Member since:
2005-07-06
Thanks for further info, I think I really have now a decent idea about what Genode is.
Reminded me about a big L4 deploymant info, in the most straightforward of places: http://en.wikipedia.org/wiki/L4_microkernel_family#Commercial_deplo...
Also about http://en.wikipedia.org/wiki/Nucleus_RTOS (apparently "used in Mediatek Dual SIM Dual processor based chipsets found on most Chinese phones [...] A large number of Motorola, Samsung, LG, Siemens/Benq, Sagem and NEC mobile phones. [...] Infineon S-Gold2 baseband chip used in Apple's iPhone" and many other non-mobile usages) - but is that a microkernel OS?
At least http://en.wikipedia.org/wiki/Operating_System_Embedded is a microkernel, it seems, and it also apparently has tons of ~mobile deployment.
WRT where Genode could end up - I wonder if it might eventually become a new basis for GNU OS / Hurd, maybe that project will finally go somewhere
Best of wishes with your project.
Edited 2012-12-04 12:52 UTC