Tom Rini | 83d290c | 2018-05-06 17:58:06 -0400 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0+ |
Anatolij Gustschin | e9c847c | 2016-11-14 16:07:10 +0100 | [diff] [blame] | 2 | /* |
| 3 | * Copyright (C) 2012 Altera Corporation <www.altera.com> |
Anatolij Gustschin | e9c847c | 2016-11-14 16:07:10 +0100 | [diff] [blame] | 4 | */ |
| 5 | #include <common.h> |
| 6 | #include <spl.h> |
| 7 | |
| 8 | void 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 | } |