// SPDX-License-Identifier: GPL-2.0+ OR BSD-3-Clause
/*
 * Copyright : STMicroelectronics 2019
 */

#include "stm32mp157c-ed1-u-boot.dtsi"