2
* (C) Copyright 2014 Xilinx, Inc. Michal Simek
4
* SPDX-License-Identifier: GPL-2.0+
10
#include <asm/arch/hardware.h>
11
#include <asm/arch/spl.h>
12
#include <asm/arch/sys_proto.h>
14
DECLARE_GLOBAL_DATA_PTR;
16
void board_init_f(ulong dummy)
21
memset(__bss_start, 0, __bss_end - __bss_start);
23
/* Set global data pointer. */
26
preloader_console_init();
28
board_init_r(NULL, 0);
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;
42
#ifdef CONFIG_SPL_MMC_SUPPORT
45
mode = BOOT_DEVICE_MMC1;
49
puts("Unsupported boot mode selected\n");
56
#ifdef CONFIG_SPL_MMC_SUPPORT
57
u32 spl_boot_mode(void)
59
return MMCSD_MODE_FAT;
63
#ifdef CONFIG_SPL_OS_BOOT
64
int spl_start_uboot(void)