Hi, Christian,

At Thu, 24 Oct 2013 17:53:41 +0200,
Christian Helmuth wrote:
> from what you write, I'd suggest to go for Fiasco.OC as it runs on
> ARM Cortex and provides real object capabilities. In my opinion, this
> kernel is not a perfect choice esp. looking at minimality but will get
> you the best available. Note, for several reasons Genode on OKL4 does
> only support version 2.1, which disqualifies it in both regards - ARM
> and object capabilities.

Thanks for the prompt reply.  I'll take a closer look at Fiasco.OC.

In terms of Genode support, where does Fiasco.OC rank?  Is the current
focus on a custom kernel (which I guess is the bare hardware
solution)?

If you have a moment, could you mention some more of the
disadvantages of Fiasco.OC that you were thinking of?

Thanks!

:) Neal

------------------------------------------------------------------------------
October Webinars: Code for Performance
Free Intel webinars can help you accelerate application performance.
Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from 
the latest Intel processors and coprocessors. See abstracts and register >
http://pubads.g.doubleclick.net/gampad/clk?id=60135991&iu=/4140/ostg.clktrk
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to