18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * ARM Ltd. 48c2ecf20Sopenharmony_ci * 58c2ecf20Sopenharmony_ci * ARMv8 Foundation model DTS (GICv2 configuration) 68c2ecf20Sopenharmony_ci */ 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_ci#include "foundation-v8.dtsi" 98c2ecf20Sopenharmony_ci#include "foundation-v8-gicv2.dtsi" 108c2ecf20Sopenharmony_ci#include "foundation-v8-spin-table.dtsi" 11