1 // SPDX-License-Identifier: GPL-2.0+
4 * Rockchip Electronics Co., Ltd
5 * Kever Yang<kever.yang@rock-chips.com>
8 * David Feng <fenghua@phytium.com.cn>
11 * Gary Jennejohn, DENX Software Engineering, <garyj@denx.de>
14 * Texas Instruments, <www.ti.com>
15 * Aneesh V <aneesh@ti.com>
18 OUTPUT_FORMAT("elf64-littleaarch64", "elf64-littleaarch64", "elf64-littleaarch64")
27 *(.__image_copy_start)
28 CPUDIR/start.o (.text*)
34 *(SORT_BY_ALIGNMENT(SORT_BY_NAME(.rodata*)))
44 KEEP(*(SORT(.u_boot_list*)));
57 _image_binary_end = .;
59 .bss_start (NOLOAD) : {
61 KEEP(*(.__bss_start));
73 /DISCARD/ : { *(.dynsym) }
74 /DISCARD/ : { *(.dynstr*) }
75 /DISCARD/ : { *(.dynamic*) }
76 /DISCARD/ : { *(.plt*) }
77 /DISCARD/ : { *(.interp*) }
78 /DISCARD/ : { *(.gnu*) }
81 #if defined(CONFIG_TPL_MAX_SIZE)
82 ASSERT(__image_copy_end - __image_copy_start < (CONFIG_TPL_MAX_SIZE), \
86 #if defined(CONFIG_TPL_BSS_MAX_SIZE)
87 ASSERT(__bss_end - __bss_start < (CONFIG_TPL_BSS_MAX_SIZE), \
88 "TPL image BSS too big");
91 #if defined(CONFIG_TPL_MAX_FOOTPRINT)
92 ASSERT(__bss_end - _start < (CONFIG_TPL_MAX_FOOTPRINT), \
93 "TPL image plus BSS too big");