Choosing a Kernel

[Neal H. Walfield]

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