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