1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <arch/header.ld>
6 /* SYSTEM_IMEM : 0x8600000 - 0x8607FFF */
7 #define SSRAM_START(addr) REGION_START(ssram, addr)
8 #define SSRAM_END(addr) REGION_END(ssram, addr)
10 /* BOOT_IMEM : 0x8C00000 - 0x8D80000 */
11 #define BSRAM_START(addr) REGION_START(bsram, addr)
12 #define BSRAM_END(addr) REGION_END(bsram, addr)
16 SSRAM_START(0x8600000)
19 BSRAM_START(0x8C00000)
20 OVERLAP_VERSTAGE_ROMSTAGE(0x8C00000, 100K)
21 REGION(fw_reserved2, 0x8C19000, 0x16000, 4096)
22 BOOTBLOCK(0x8C2F000, 40K)
24 VBOOT2_WORK(0x8C47000, 12K)
26 TIMESTAMP(0x8C4F000, 1K)
27 PRERAM_CBMEM_CONSOLE(0x8C4F400, 32K)
28 PRERAM_CBFS_CACHE(0x8C57400, 62K)
29 CBFS_MCACHE(0x8C66C00, 8K)
30 FMAP_CACHE(0x8C68C00, 2K)
31 REGION(bsram_unused, 0x8C69400, 0xA1C00, 0x100)
34 DRAM_START(0x80000000)
35 /* DDR Carveout for BL31 usage */
36 REGION(dram_reserved, 0x85000000, 0x5100000, 4096)
37 POSTRAM_CBFS_CACHE(0x9F800000, 384K)
38 RAMSTAGE(0x9F860000, 2M)