1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2013 - 2014 Xilinx, Inc
5 * Michal Simek <michal.simek@xilinx.com>
12 #include <asm/u-boot.h>
16 u32
spl_boot_device(void)
18 return BOOT_DEVICE_NOR
;
21 /* Board initialization after bss clearance */
22 void spl_board_init(void)
24 /* enable console uart printing */
25 preloader_console_init();
28 #ifdef CONFIG_SPL_OS_BOOT
29 void __noreturn
jump_to_image_linux(struct spl_image_info
*spl_image
)
31 debug("Entering kernel arg pointer: 0x%p\n", spl_image
->arg
);
32 typedef void (*image_entry_arg_t
)(char *, ulong
, ulong
)
33 __attribute__ ((noreturn
));
34 image_entry_arg_t image_entry
=
35 (image_entry_arg_t
)spl_image
->entry_point
;
37 image_entry(NULL
, 0, (ulong
)spl_image
->arg
);
39 #endif /* CONFIG_SPL_OS_BOOT */
41 int spl_start_uboot(void)
43 #ifdef CONFIG_SPL_OS_BOOT