3 * Texas Instruments, <www.ti.com>
5 * SPDX-License-Identifier: GPL-2.0+
10 #if defined(CONFIG_OMAP) \
11 || defined(CONFIG_EXYNOS4) || defined(CONFIG_EXYNOS5) \
12 || defined(CONFIG_EXYNOS4210)
13 /* Platform-specific defines */
14 #include <asm/arch/spl.h>
34 /* Board-specific load method */
35 void spl_board_load_image(void);
38 extern char __bss_start[], __bss_end[];