/* | |
* (C) Copyright 2016 | |
* Mario Six, Guntermann & Drunck GmbH, mario.six@gdsys.cc | |
* | |
* SPDX-License-Identifier: GPL-2.0+ | |
*/ | |
#include <common.h> | |
#include <config.h> | |
#include <asm/arch/cpu.h> | |
void spl_board_init(void) | |
{ | |
#if CONFIG_SPL_BOOT_DEVICE == SPL_BOOT_SPI_NOR_FLASH | |
u32 *bootrom_save = (u32 *)CONFIG_SPL_BOOTROM_SAVE; | |
u32 *regs = (u32 *)(*bootrom_save); | |
printf("Returning to BootROM (return address %08x)...\n", regs[13]); | |
return_to_bootrom(); | |
#endif | |
} |