3 * Mario Six, Guntermann & Drunck GmbH, mario.six@gdsys.cc
5 * SPDX-License-Identifier: GPL-2.0+
10 #include <asm/arch/cpu.h>
12 void spl_board_init(void)
14 #if CONFIG_SPL_BOOT_DEVICE == SPL_BOOT_SPI_NOR_FLASH
15 u32 *bootrom_save = (u32 *)CONFIG_SPL_BOOTROM_SAVE;
16 u32 *regs = (u32 *)(*bootrom_save);
18 printf("Returning to BootROM (return address %08x)...\n", regs[13]);