| /* |
| * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) |
| * |
| * SPDX-License-Identifier: GPL-2.0-only |
| */ |
| |
| #include <autoconf.h> |
| #include <elfloader/gen_config.h> |
| |
| #include "image_start_addr.h" |
| |
| SECTIONS |
| { |
| .interp : { *(.interp) } |
| } |
| INSERT BEFORE .hash; |
| |
| SECTIONS |
| { |
| . = IMAGE_START_ADDR; |
| _text = .; |
| .start : |
| { |
| *(.text.start) |
| } |
| } |
| INSERT BEFORE .text; |
| |
| SECTIONS |
| { |
| .bss : { |
| . = ALIGN(0x1000); |
| core_stack_alloc = .; |
| . = . + CONFIG_MAX_NUM_NODES * 1 << 12; |
| core_stack_alloc_end = .; |
| _bss = .; |
| *(.bss) |
| _bss_end = .; |
| } |
| } |
| |
| SECTIONS |
| { |
| . = ALIGN(8); |
| ._archive_cpio : { |
| _archive_start = .; |
| *(._archive_cpio) |
| _archive_end = .; |
| } |
| } |
| INSERT AFTER .eh_frame; |