uboot/u-boot-stm32mp-2020.01/arch/arm/dts/rk3399-leez-p710-u-boot.dtsi

// SPDX-License-Identifier: GPL-2.0+
/*
 * Copyright (c) 2019 Andy Yan <andy.yan@gmail.com>
 */

#include "rk3399-u-boot.dtsi"
#include "rk3399-sdram-lpddr4-100.dtsi"

/ {
	chosen {
		u-boot,spl-boot-order = "same-as-spl", &sdhci, &sdmmc;
	};
};