- towards real microkernels: the history of L4 microkernels - L4/seL4 implementation highlights - virtualisation: microkernel as hypervisor - lessons and principles
No download links available.
