18 Hardware  section in ARMv8 Xen Virtual Machine Example
23 The following hardware features are supported:
33 The kernel currently does not support other hardware features on this platform.
46 default value, which should be corrected for user's actual hardware.
58 Depending on the version of the GIC on your hardware, you may choose one of the
68 hardware you might want to change this option in the same way as Interrupt
77 configuration would not boot on your hardware. In this case you need to update
100 - if your hardware is based on GICv2:
106 - if your hardware is based on GICv3:
162 As was said earlier, Xen describes hardware using device tree and expects that
169 Zephyr xenvm image on new hardware.