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