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 mpic 14 s390_flic 15 vcpu 16 vfio 17 vm 18 xics 19 xive 20