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