Hello all, My folks is growing more rapidly than expected ...
I would want to thank Neal about his thoughts on Resource scheduling ( Market Based ) and Authorization Based Access Control. I believe that we won't be able to do anything against Trusted Computing ... I am not in favor for this one, but the market's reality is the market's reality . For the microkernel, I am curently in discussion with folks to have the first second stage of the second generation microkernel formally verified ! ( not L4.verified neither coyotos ...) And moreover, I am in discussion with BIOS experts too, to build up an Open Firmware based on this one ( in the style of LinuxBIOS ) ... :) Open Source from the "cold start" :) ! For a NextGen OS design, the mix of Biometrics + Trusted Computing and ABAC seems to be the most promising one ... If people have time to spend :) : http://www.cs.ru.nl/~freek/100/ Best Regards, Will _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
