elfloader: move the data of ELFloader together

The driver list section was part of the "*(COMMON)" section that was placed *after* the image payload (kernel, rootserver etc.). The driver list is data and should be placed adjacent to other data belonging to the ELFloader. This is clearly visible in the mapfile (which you don't generate). The driver list entry is present in the aarch32 linker script for EFI, why was it missing for 64 bit? No functional change. Signed-off-by: Matthias Rosenfelder <[email protected]>
seL4 · Feb 25, 2024 · 65b49ae · 65b49ae
1 parent dea6924
commit 65b49ae
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/elfloader-tool/src/binaries/efi/gnuefi/elf_aarch64_efi.lds b/elfloader-tool/src/binaries/efi/gnuefi/elf_aarch64_efi.lds
@@ -31,6 +31,9 @@ SECTIONS
    *(.data)
    *(.data1)
    *(.data.*)
+   __start__driver_list = .;
+   *(_driver_list)
+   __stop__driver_list = .;
    *(.got.plt)
    *(.got)