// SPDX-License-Identifier: GPL-2.0+ /* * (C) Copyright 2013 - 2014 Xilinx, Inc * * Michal Simek */ #include #include #include #include #include #include bool boot_linux; u32 spl_boot_device(void) { return BOOT_DEVICE_NOR; } /* Board initialization after bss clearance */ void spl_board_init(void) { /* enable console uart printing */ preloader_console_init(); } #ifdef CONFIG_SPL_OS_BOOT void __noreturn jump_to_image_linux(struct spl_image_info *spl_image) { debug("Entering kernel arg pointer: 0x%p\n", spl_image->arg); typedef void (*image_entry_arg_t)(char *, ulong, ulong) __attribute__ ((noreturn)); image_entry_arg_t image_entry = (image_entry_arg_t)spl_image->entry_point; image_entry(NULL, 0, (ulong)spl_image->arg); } #endif /* CONFIG_SPL_OS_BOOT */ int spl_start_uboot(void) { #ifdef CONFIG_SPL_OS_BOOT if (boot_linux) return 0; #endif return 1; } int do_reset(struct cmd_tbl *cmdtp, int flag, int argc, char *const argv[]) { __asm__ __volatile__ ("mts rmsr, r0;" \ "bra r0"); return 0; }