Choosing a Kernel
Neal H. Walfield
neal at ...8...
Thu Oct 24 22:23:24 CEST 2013
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
If you have a moment, could you mention some more of the
disadvantages of Fiasco.OC that you were thinking of?
More information about the users