162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 262306a36Sopenharmony_ci/* 362306a36Sopenharmony_ci * ARM Ltd. 462306a36Sopenharmony_ci * 562306a36Sopenharmony_ci * ARMv8 Foundation model DTS (GICv3 configuration) 662306a36Sopenharmony_ci */ 762306a36Sopenharmony_ci 862306a36Sopenharmony_ci#include "foundation-v8.dtsi" 962306a36Sopenharmony_ci#include "foundation-v8-gicv3.dtsi" 1062306a36Sopenharmony_ci#include "foundation-v8-spin-table.dtsi" 11