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