linux-arkmicro/u-boot/board/mqmaker/miqi_rk3288/miqi-rk3288.c

// SPDX-License-Identifier: GPL-2.0+
/*
 * (C) Copyright 2016 Rockchip Electronics Co., Ltd
 */

#include <common.h>
#include <spl.h>

void board_boot_order(u32 *spl_boot_list)
{
	/* eMMC prior to sdcard. */
	spl_boot_list[0] = BOOT_DEVICE_MMC2;
	spl_boot_list[1] = BOOT_DEVICE_MMC1;
}