2 * (C) Copyright 2013 - 2014 Xilinx, Inc
4 * Michal Simek <michal.simek@xilinx.com>
6 * SPDX-License-Identifier: GPL-2.0+
14 #include <asm/u-boot.h>
16 DECLARE_GLOBAL_DATA_PTR;
20 u32 spl_boot_device(void)
22 return BOOT_DEVICE_NOR;
25 /* Board initialization after bss clearance */
26 void spl_board_init(void)
28 gd = (gd_t *)CONFIG_SPL_STACK_ADDR;
30 /* enable console uart printing */
31 preloader_console_init();
34 #ifdef CONFIG_SPL_OS_BOOT
35 void __noreturn jump_to_image_linux(void *arg)
37 debug("Entering kernel arg pointer: 0x%p\n", arg);
38 typedef void (*image_entry_arg_t)(char *, ulong, ulong)
39 __attribute__ ((noreturn));
40 image_entry_arg_t image_entry =
41 (image_entry_arg_t)spl_image.entry_point;
43 image_entry(NULL, 0, (ulong)arg);
45 #endif /* CONFIG_SPL_OS_BOOT */
47 int spl_start_uboot(void)
49 #ifdef CONFIG_SPL_OS_BOOT