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