2 * Copyright (C) 2014 Stefan Roese <sr@denx.de>
4 * SPDX-License-Identifier: GPL-2.0+
10 #include <asm/arch/cpu.h>
11 #include <asm/arch/soc.h>
13 DECLARE_GLOBAL_DATA_PTR;
15 u32 spl_boot_device(void)
17 /* Right now only booting via SPI NOR flash is supported */
18 return BOOT_DEVICE_SPI;
21 void board_init_f(ulong dummy)
23 /* Set global data pointer */
26 /* Linux expects the internal registers to be at 0xf1000000 */
29 preloader_console_init();
31 /* First init the serdes PHY's */
37 board_init_r(NULL, 0);