| /* | |
| * Copyright (C) 2012 Altera Corporation <www.altera.com> | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| #include <common.h> | |
| #include <spl.h> | |
| void board_boot_order(u32 *spl_boot_list) | |
| { | |
| spl_boot_list[0] = spl_boot_device(); | |
| switch (spl_boot_list[0]) { | |
| case BOOT_DEVICE_MMC1: | |
| spl_boot_list[0] = BOOT_DEVICE_MMC1; | |
| spl_boot_list[1] = BOOT_DEVICE_UART; | |
| break; | |
| } | |
| } |