// SPDX-License-Identifier: GPL-2.0

#include <arm64/broadcom/bcm2711-rpi-400.dts>
#include "bcm2711-rpi.dtsi"