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