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 */
30 * Pin muxing needs to be done before UART output, since
31 * on A38x the UART pins need some re-muxing for output
36 preloader_console_init();
40 /* First init the serdes PHY's */
46 board_init_r(NULL, 0);