1.. SPDX-License-Identifier: GPL-2.0 2 3======= 4Devices 5======= 6 7.. toctree:: 8 :maxdepth: 2 9 10 arm-vgic-its 11 arm-vgic 12 arm-vgic-v3 13 arm-vgic-v5 14 mpic 15 s390_flic 16 vcpu 17 vfio 18 vm 19 xics 20 xive 21