| // SPDX-License-Identifier: GPL-2.0+ |
| /* |
| * Copyright (c) 2019 SiFive, Inc |
| * Copyright (c) 2021 Tianrui Wei |
| * |
| * |
| * Authors: |
| * Pragnesh Patel <pragnesh.patel@sifive.com> |
| * Tianrui Wei <tianrui-wei@outlook.com> |
| */ |
| #include <init.h> |
| #include <configs/openpiton-riscv64.h> |
| #include <dm.h> |
| #include <spl.h> |
| |
| #ifdef CONFIG_SPL |
| void board_boot_order(u32 *spl_boot_list) |
| { |
| u8 i; |
| u32 boot_devices[] = { |
| BOOT_DEVICE_MMC1, |
| }; |
| |
| for (i = 0; i < ARRAY_SIZE(boot_devices); i++) |
| spl_boot_list[i] = boot_devices[i]; |
| } |
| #endif |
| |
| int board_init(void) |
| { |
| return 0; |
| } |