1*b2441318SGreg Kroah-Hartman// SPDX-License-Identifier: GPL-2.0 2ca5b3410SRobert Richter/* 3ca5b3410SRobert Richter * ARM Ltd. 4ca5b3410SRobert Richter * 5d11a8979SAndre Przywara * ARMv8 Foundation model DTS (GICv2 configuration) 6ca5b3410SRobert Richter */ 7ca5b3410SRobert Richter 8d11a8979SAndre Przywara#include "foundation-v8.dtsi" 9bc3d3447SDaniel Thompson#include "foundation-v8-gicv2.dtsi" 10bc3d3447SDaniel Thompson#include "foundation-v8-spin-table.dtsi" 11