1 .. SPDX-License-Identifier: GPL-2.0 1 .. SPDX-License-Identifier: GPL-2.0
2 2
3 === 3 ===
4 ARM 4 ARM
5 === 5 ===
6 6
7 .. toctree:: 7 .. toctree::
8 :maxdepth: 2 8 :maxdepth: 2
9 9
10 fw-pseudo-registers 10 fw-pseudo-registers
11 hyp-abi 11 hyp-abi
12 hypercalls 12 hypercalls
13 pvtime 13 pvtime
14 ptp_kvm 14 ptp_kvm
15 vcpu-features 15 vcpu-features
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.