Download Center : Hypervisor Functional Specification
This document is the top-level functional specification (TLFS) of the first-generation Microsoft hypervisor. It specifies the externally-visible behavior. The document assumes familiarity with the goals of the project and the high-level hypervisor architecture.