| * Copyright (c) 2020, ARM Limited. All rights reserved. |
| * SPDX-License-Identifier: BSD-3-Clause |
| * Linker script for the Arm Ltd. FPGA boards to generate an ELF file that |
| * contains the ROM trampoline, BL31 and the DTB. |
| * This allows to pass just one file to the uploader tool, and automatically |
| * provides the correct load addresses. |
| #include <platform_def.h> |
| OUTPUT_FORMAT("elf64-littleaarch64") |
| INPUT(./rom_trampoline.o) |
| INPUT(./kernel_trampoline.o) |
| INPUT(./fdts/arm_fpga.dtb) |
| *rom_trampoline.o(.text*) |
| ASSERT(. == ALIGN(PAGE_SIZE), "BL31_BASE is not page aligned"); |
| .dtb (FPGA_PRELOADED_DTB_BASE): { |
| ASSERT(. == ALIGN(8), "DTB address is not 8-byte aligned"); |
| .kern_tramp (PRELOADED_BL33_BASE): { |
| *kernel_trampoline.o(.text*) |
| /DISCARD/ : { *(stacks) } |
| /DISCARD/ : { *(.debug_*) } |
| /DISCARD/ : { *(.note*) } |
| /DISCARD/ : { *(.comment*) } |