1*dd63fbc7Sjk.kernel@gmail.com /*
2*dd63fbc7Sjk.kernel@gmail.com  * (C) Copyright 2016 Rockchip Electronics Co., Ltd
3*dd63fbc7Sjk.kernel@gmail.com  *
4*dd63fbc7Sjk.kernel@gmail.com  * SPDX-License-Identifier:     GPL-2.0+
5*dd63fbc7Sjk.kernel@gmail.com  */
6*dd63fbc7Sjk.kernel@gmail.com 
7*dd63fbc7Sjk.kernel@gmail.com #include <common.h>
8*dd63fbc7Sjk.kernel@gmail.com #include <spl.h>
9*dd63fbc7Sjk.kernel@gmail.com 
10*dd63fbc7Sjk.kernel@gmail.com void board_boot_order(u32 *spl_boot_list)
11*dd63fbc7Sjk.kernel@gmail.com {
12*dd63fbc7Sjk.kernel@gmail.com 	/* eMMC prior to sdcard */
13*dd63fbc7Sjk.kernel@gmail.com 	spl_boot_list[0] = BOOT_DEVICE_MMC2;
14*dd63fbc7Sjk.kernel@gmail.com 	spl_boot_list[1] = BOOT_DEVICE_MMC1;
15*dd63fbc7Sjk.kernel@gmail.com }
16