1 // SPDX-License-Identifier: GPL-2.0 1 // SPDX-License-Identifier: GPL-2.0 2 /* 2 /* 3 * ARM Ltd. 3 * ARM Ltd. 4 * 4 * 5 * ARMv8 Foundation model DTS (GICv3 configura 5 * ARMv8 Foundation model DTS (GICv3 configuration) 6 */ 6 */ 7 7 8 #include "foundation-v8.dtsi" 8 #include "foundation-v8.dtsi" 9 #include "foundation-v8-gicv3.dtsi" 9 #include "foundation-v8-gicv3.dtsi" 10 #include "foundation-v8-spin-table.dtsi" 10 #include "foundation-v8-spin-table.dtsi"
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.