2 * (C) Copyright 2013 - 2014 Xilinx, Inc
4 * Michal Simek <michal.simek@xilinx.com>
6 * SPDX-License-Identifier: GPL-2.0+
13 #include <asm/u-boot.h>
17 u32 spl_boot_device(void)
19 return BOOT_DEVICE_NOR;
22 /* Board initialization after bss clearance */
23 void spl_board_init(void)
25 /* enable console uart printing */
26 preloader_console_init();
29 #ifdef CONFIG_SPL_OS_BOOT
30 void __noreturn jump_to_image_linux(struct spl_image_info *spl_image)
32 debug("Entering kernel arg pointer: 0x%p\n", spl_image->arg);
33 typedef void (*image_entry_arg_t)(char *, ulong, ulong)
34 __attribute__ ((noreturn));
35 image_entry_arg_t image_entry =
36 (image_entry_arg_t)spl_image->entry_point;
38 image_entry(NULL, 0, (ulong)spl_image->arg);
40 #endif /* CONFIG_SPL_OS_BOOT */
42 int spl_start_uboot(void)
44 #ifdef CONFIG_SPL_OS_BOOT