2 * (C) Copyright 2014 Xilinx, Inc. Michal Simek
4 * SPDX-License-Identifier: GPL-2.0+
11 #include <asm/arch/hardware.h>
12 #include <asm/arch/sys_proto.h>
14 DECLARE_GLOBAL_DATA_PTR;
16 void board_init_f(ulong dummy)
23 #ifdef CONFIG_SPL_BOARD_INIT
24 void spl_board_init(void)
26 preloader_console_init();
31 u32 spl_boot_device(void)
35 switch ((zynq_slcr_get_boot_mode()) & ZYNQ_BM_MASK) {
36 #ifdef CONFIG_SPL_SPI_SUPPORT
39 mode = BOOT_DEVICE_SPI;
43 mode = BOOT_DEVICE_NAND;
46 mode = BOOT_DEVICE_NOR;
48 #ifdef CONFIG_SPL_MMC_SUPPORT
51 mode = BOOT_DEVICE_MMC1;
55 mode = BOOT_DEVICE_RAM;
58 puts("Unsupported boot mode selected\n");
65 #ifdef CONFIG_SPL_MMC_SUPPORT
66 u32 spl_boot_mode(void)
72 #ifdef CONFIG_SPL_OS_BOOT
73 int spl_start_uboot(void)
80 __weak void ps7_init(void)
83 * This function is overridden by the one in
84 * board/xilinx/zynq/(platform)/ps7_init_gpl.c, if it exists.