1.. SPDX-License-Identifier: GPL-2.0
2
3=======
4Devices
5=======
6
7.. toctree::
8   :maxdepth: 2
9
10   arm-vgic-its
11