2 * Copyright 2015 - 2016 Xilinx, Inc.
4 * Michal Simek <michal.simek@xilinx.com>
6 * SPDX-License-Identifier: GPL-2.0+
10 #include <debug_uart.h>
15 #include <asm/arch/hardware.h>
16 #include <asm/arch/sys_proto.h>
18 void board_init_f(ulong dummy)
23 #ifdef CONFIG_DEBUG_UART
24 /* Uart debug for sure */
26 puts("Debug uart enabled\n"); /* or printch() */
28 /* Delay is required for clocks to be propagated */
32 memset(__bss_start, 0, __bss_end - __bss_start);
34 /* No need to call timer init - it is empty for ZynqMP */
35 board_init_r(NULL, 0);
38 #ifdef CONFIG_SPL_BOARD_INIT
39 void spl_board_init(void)
41 preloader_console_init();
46 u32 spl_boot_device(void)
51 reg = readl(&crlapb_base->boot_mode);
52 bootmode = reg & BOOT_MODES_MASK;
56 return BOOT_DEVICE_RAM;
57 #ifdef CONFIG_SPL_MMC_SUPPORT
61 return BOOT_DEVICE_MMC1;
64 printf("Invalid Boot Mode:0x%x\n", bootmode);
71 u32 spl_boot_mode(const u32 boot_device)
73 switch (spl_boot_device()) {
76 case BOOT_DEVICE_MMC1:
79 puts("spl: error: unsupported device\n");
84 __weak void psu_init(void)
87 * This function is overridden by the one in
88 * board/xilinx/zynqmp/(platform)/psu_init_gpl.c, if it exists.
92 #ifdef CONFIG_SPL_OS_BOOT
93 int spl_start_uboot(void)
99 #ifdef CONFIG_SPL_LOAD_FIT
100 int board_fit_config_name_match(const char *name)
102 /* Just empty function now - can't decide what to choose */
103 debug("%s: %s\n", __func__, name);