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>
15 DECLARE_GLOBAL_DATA_PTR
;
19 u32
spl_boot_device(void)
21 return BOOT_DEVICE_NOR
;
24 /* Board initialization after bss clearance */
25 void spl_board_init(void)
27 /* enable console uart printing */
28 preloader_console_init();
31 #ifdef CONFIG_SPL_OS_BOOT
32 void __noreturn
jump_to_image_linux(void *arg
)
34 debug("Entering kernel arg pointer: 0x%p\n", arg
);
35 typedef void (*image_entry_arg_t
)(char *, ulong
, ulong
)
36 __attribute__ ((noreturn
));
37 image_entry_arg_t image_entry
=
38 (image_entry_arg_t
)spl_image
.entry_point
;
40 image_entry(NULL
, 0, (ulong
)arg
);
42 #endif /* CONFIG_SPL_OS_BOOT */
44 int spl_start_uboot(void)
46 #ifdef CONFIG_SPL_OS_BOOT