Hypervisor Guide

The Hypervisor Guide provides an overview of the Xen hypervisor’s architecture and design, covering its core components, features, and how it manages resources for guest domains.

It serves as a comprehensive reference for developers and users interested in understanding the inner workings of the Xen hypervisor.

• Design documents
  • 1. Hyperlaunch
  • 2. Cache Coloring
  • 3. NUMA Claims
• Xen Makefiles
  • Makefile files
  • Build system infrastructure
  • Frequently Asked Questions
• Continuous Integration
  • Hardware runners
  • How to Set Up a New Hardware Runner
  • Selecting individual tests
• Code Coverage
  • Compiling Xen
  • Accessing the raw coverage data
  • GCC coverage
  • Clang coverage
• x86
  • How Xen Boots
• ARM
  • ARM System Control and Management Interface (SCMI)
• MISRA C coding guidelines
  • MISRA C rules for Xen
  • MISRA C deviations for Xen
  • C Dialect and Translation Assumptions for Xen
  • Measures taken towards the minimization of Run-time failures in Xen
  • Documenting violations
  • Exclude file list for xen scripts
  • Xen static analysis
  • Properties list for Xen
• Functional Safety documentation
  • Requirements documentation