1 .. SPDX-License-Identifier: GPL-2.0 2 3 === 4 ARM 5 === 6 7 .. toctree:: 8 :maxdepth: 2 9 10 fw-pseudo-registers 11 hyp-abi 12 hypercalls 13 pvtime 14 ptp_kvm 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.