Hypervisor documentation# 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)
