1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * (C) Copyright 2016
4  * Mario Six, Guntermann & Drunck GmbH, mario.six@gdsys.cc
5  */
6 
7 #include <common.h>
8 #include <config.h>
9 #include <asm/arch/cpu.h>
10 
spl_board_init(void)11 void spl_board_init(void)
12 {
13 #if CONFIG_SPL_BOOT_DEVICE == SPL_BOOT_SPI_NOR_FLASH
14 	u32 *bootrom_save = (u32 *)CONFIG_SPL_BOOTROM_SAVE;
15 	u32 *regs = (u32 *)(*bootrom_save);
16 
17 	printf("Returning to BootROM (return address %08x)...\n", regs[13]);
18 	return_to_bootrom();
19 #endif
20 }
21