APCSAC
2001
IEEE
14 years 4 months ago
2001
IEEE
We present a framework that allows applications to build and customize VM services on the L4 microkernel. While the L4 microkernel's abstractions are quite powerng these abst...