Fiasco vs Hazelnut

Jork Loeser jork at
Sat Mar 15 11:31:43 CET 2003


> > - 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

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,

More information about the l4-hackers mailing list