Linked by nfeske on Wed 30th May 2012 11:30 UTC
OSNews, Generic OSes With the ability to run the GNU tool chain including GCC, binutils, and GNU make, the Genode OS framework has taken another big step towards becoming a general-purpose OS. The just released version 12.05 introduces Genode's file-system infrastructure along with support for stacked file systems, extends the framework API with support for configuring system components on-thy-fly, and adds media replay capabilities.
Thread beginning with comment 520158
To view parent comment, click here.
To read all comments associated with this story, please click here.
RE[3]: Comment by Radio
by WereCatf on Thu 31st May 2012 15:42 UTC in reply to "RE[2]: Comment by Radio"
WereCatf
Member since:
2006-02-15

Thanks for the encouraging words. Even though Genode does not yet qualify for being called a general-purpose OS, it is definitely the goal to get there in the not-too-distant future.


I can imagine it requiring quite a boatload of work still to get it there, but.. well, to be honest, the improved security model is definitely worth it IMHO.

Too bad, though, that it's unlikely to attract much attention from the big manufacturers, mostly because the mobile device OS - market is already quite crowded. If it were to ever gain their attention, though.. well, the implications could be huge.

As an aside: how's the ARM-support on it? I'm likely getting a Pandaboard soon, would love to try Genode OS on it first-hand.

Reply Parent Score: 3

RE[4]: Comment by Radio
by nfeske on Thu 31st May 2012 17:26 in reply to "RE[3]: Comment by Radio"
nfeske Member since:
2009-05-27

Genode already supports a few ARM platforms such as ARM Versatile Express. Support for Pandaboard is in the works. BTW, the current release features the first fragments:

http://genode.org/documentation/release-notes/12.05#Fiasco.OC_micro...

Genode happily boots on the Pandaboard and shows lifesigns via the serial console. But several device drivers for peripherals such as display, mouse, keyboard, network, SD card are still missing.

Good to know that there is public interest in running Genode on this nice platform. :-)

Reply Parent Score: 3