Fiasco vs Hazelnut
jork at os.inf.tu-dresden.de
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.
More information about the l4-hackers