Training courses
Kernel and Embedded Linux
Bootlin training courses
1 2 3 4 5 6 7 8 9 10
// SPDX-License-Identifier: GPL-2.0 /* * ARM Ltd. * * ARMv8 Foundation model DTS (GICv2 configuration) */ #include "foundation-v8.dtsi" #include "foundation-v8-gicv2.dtsi" #include "foundation-v8-spin-table.dtsi"