1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * Copyright (C) 2012 Altera Corporation <www.altera.com> 4 */ 5#include <common.h> 6#include <spl.h> 7 8void board_boot_order(u32 *spl_boot_list) 9{ 10 spl_boot_list[0] = spl_boot_device(); 11 12 switch (spl_boot_list[0]) { 13 case BOOT_DEVICE_MMC1: 14 spl_boot_list[0] = BOOT_DEVICE_MMC1; 15 spl_boot_list[1] = BOOT_DEVICE_UART; 16 break; 17 } 18} 19