APCSAC
2001
IEEE
13 years 8 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...