Check out the new USENIX Web site. [Next] [Up] [Previous]
Next: ISA Up: The Denali Isolation Kernel Previous: The Denali Isolation Kernel

The Denali Virtual Architecture

The Denali virtual architecture consists of an instruction set, a memory architecture, and an I/O architecture (including an interrupt model). We describe each of these components in turn.



Subsections

Andrew Whitaker 2002-10-07