Name:
TIQ
2011-05-12 17:19
someone want to discuss about microkernel?
Name:
Anonymous
2011-05-13 5:40
Microkernels have been more or less "solved" since L4. Now everyone's only interested in mathematically proving the security of their version of L4.