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