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.
Permalink for comment 520356
To read all comments associated with this story, please click here.
RE[4]: Comment by Radio
by nfeske on Fri 1st Jun 2012 17:08 UTC in reply to "RE[3]: Comment by Radio"
nfeske
Member since:
2009-05-27

Fiasco.OC is one of the kernels that can be used at the core of the Genode system. But it is only one among several kernels. Alternatively, you may opt to use NOVA, OKL4, Pistachio, or even Linux. Each of those kernels has different pros and cons. It is up to the user of Genode to pick the kernel that fits best for her/him.

The driver API is, in the line of all Genode's API, a C++ interface. In addition, there exists a C wrapper called DDE kit, which is primarily intended to ease the porting of device drivers (typically written in C) from other platforms.

Switching from GCC to LLVM is not planned. From what I gathered so far, LLVM is pretty intriguing and I am tempted to explore it. But on the other hand, we are actually quite happy with our current GCC-based tool chain.

Do you have compelling and tangible arguments for investing development time on switching Genode to LLVM over the many other topics on our road map?

Reply Parent Score: 2