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