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