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