Cross Reference: /seL4-refos-master/tools/elfloader/src/binaries/efi/gnuefi/

Name		Date	Size
..		09-Mar-2020	5
crt0-efi-aarch64.S	H A D	09-Mar-2020	4.1 KiB
crt0-efi-arm.S	H A D	09-Mar-2020	4.2 KiB
elf_aarch64_efi.lds	H A D	09-Mar-2020	1.4 KiB
elf_arm_efi.lds	H A D	09-Mar-2020	1.5 KiB
reloc_aarch64.c	H A D	09-Mar-2020	3.3 KiB
reloc_arm.c	H A D	09-Mar-2020	3.5 KiB