3 # Stefan Roese, DENX Software Engineering, sr@denx.de.
5 # SPDX-License-Identifier: GPL-2.0+
8 # AMCC 405EX Reference Platform (Kilauea) board
12 # CONFIG_SYS_TEXT_BASE for SPL:
14 # On 4xx platforms the SPL is located at 0xfffff000...0xffffffff,
15 # in the last 4kBytes of memory space in cache.
16 # We will copy this SPL into SDRAM since we can't access the NAND
17 # controller at CS0 while running from this location. So we set
18 # CONFIG_SYS_TEXT_BASE to starting address in SDRAM here.
20 CONFIG_SYS_TEXT_BASE = 0x00800000
22 # PAD_TO used to generate a 16kByte binary needed for the combined image
23 # -> PAD_TO = CONFIG_SYS_TEXT_BASE + 0x4000
27 PLATFORM_CPPFLAGS += -DDEBUG
31 PLATFORM_CPPFLAGS += -DCONFIG_SYS_INIT_DBCR=0x8cff0000