Fiasco vs Hazelnut

[Jork Loeser]

Gernot,

> > - Fiasco implements a little more security, especially in relation to
> > task ownership.
> Is "a little more security" similar to "a little bit pregnant"?
> 
> I don't think either has a real security model implemented. Most of
> the V2 kernels (x86, Alpha, MIPS) have it, but none of the later ones
> AFIK.

You mean IO-flexpages and the like? Or do you think of a higher-level
implementation language and a modular kernel design which allow
to verify the kernel? Well.

Best regards,
Jork