Xen Documentation
- device-tree
device-tree
Device tree binding to passthrough a device
Device tree bindings to boot Xen
acpi
cpupools
guest