1// SPDX-License-Identifier: GPL-2.0 2/* 3 * ARM Ltd. 4 * 5 * ARMv8 Foundation model DTS (GICv3 configuration) 6 */ 7 8#include "foundation-v8.dtsi" 9#include "foundation-v8-gicv3.dtsi" 10#include "foundation-v8-spin-table.dtsi" 11