Check out the new USENIX Web site. [Next] [Up] [Previous]
Next: CPU Virtualization Up: The Denali Isolation Kernel Previous: I/O Devices and Interrupt

Isolation Kernel Implementation

The Denali isolation kernel runs directly on x86 hardware. The core of the kernel, including multiprogramming, paging, and virtual device emulation, was implemented from scratch; we used the Flux OSKit [14] for device drivers and other hardware support routines, and some support libraries such as libc.

The isolation kernel serves two roles: it implements the Denali virtual architecture, and it multiplexes physical resources across competing VMs. We have maintained a strict separation between resource management policy and mechanism, so that we could implement different policies without affecting other aspects of the isolation kernel.



Subsections

Andrew Whitaker 2002-10-07