// SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause)
/*
 * Copyright (C) STMicroelectronics 2018 - All Rights Reserved
 * Author: Alexandre Torgue <alexandre.torgue@st.com>.
 */

#include <arm/st/stm32mp157c-dk2.dts>
#include "stm32mp15xx-dkx.dtsi"