Microsoft has released a paper titled: "Hypervisor Top-Level Functional Specification: Windows Server 2012". The paper which contains 375 pages provides a top-level functional specification (TLFS) for the third generation hypervisor by Microsoft. It specifies the externally visible behavior of the hypervisor, which is a component of the Hyper V virtualization role in Windows Server 2012.
The specifications can be used to understand the functions of the hypervisor and implement a compatible solution.
The paper provides the following sections:
- Introduction
- Basic Data Types, Concepts and Notation
- Feature and Interface Discovery
- Hypercall Interface
- Partition Management
- Physical Hardware Management
- Resource Management
- Guest Physical Address Spaces
- Intercepts • Virtual Processor Management
- Virtual Processor Execution
- Virtual MMU and Caching
- Virtual Interrupt Control
- Inter-Partition Communication
- Timers
- Message Formats
- Partition Save and Restore
- Scheduler
- Event Logging
- Guest Debugging Support
- Statistics
- Booting
- System Properties
- Appendix