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