Tianrui Wei | 2ef594d | 2021-07-01 12:54:19 +0800 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0+ |
| 2 | /* |
| 3 | * Copyright (c) 2019 SiFive, Inc |
| 4 | * Copyright (c) 2021 Tianrui Wei |
| 5 | * |
| 6 | * |
| 7 | * Authors: |
| 8 | * Pragnesh Patel <pragnesh.patel@sifive.com> |
| 9 | * Tianrui Wei <tianrui-wei@outlook.com> |
| 10 | */ |
Tianrui Wei | 2ef594d | 2021-07-01 12:54:19 +0800 | [diff] [blame] | 11 | #include <init.h> |
| 12 | #include <configs/openpiton-riscv64.h> |
| 13 | #include <dm.h> |
| 14 | #include <spl.h> |
| 15 | |
| 16 | #ifdef CONFIG_SPL |
| 17 | void board_boot_order(u32 *spl_boot_list) |
| 18 | { |
| 19 | u8 i; |
| 20 | u32 boot_devices[] = { |
| 21 | BOOT_DEVICE_MMC1, |
| 22 | }; |
| 23 | |
| 24 | for (i = 0; i < ARRAY_SIZE(boot_devices); i++) |
| 25 | spl_boot_list[i] = boot_devices[i]; |
| 26 | } |
| 27 | #endif |
| 28 | |
| 29 | int board_init(void) |
| 30 | { |
| 31 | return 0; |
| 32 | } |