openpiton-riscv64.c 583 B

123456789101112131415161718192021222324252627282930313233
  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. */
  11. #include <common.h>
  12. #include <init.h>
  13. #include <configs/openpiton-riscv64.h>
  14. #include <dm.h>
  15. #include <spl.h>
  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. for (i = 0; i < ARRAY_SIZE(boot_devices); i++)
  24. spl_boot_list[i] = boot_devices[i];
  25. }
  26. #endif
  27. int board_init(void)
  28. {
  29. return 0;
  30. }