1 .. SPDX-License-Identifier: GPL-2.0 2 3 ======= 4 Devices 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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.