15 Mar
2003
15 Mar
'03
11:31 a.m.
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