Andrew Turner ed68feb5d4 Stop calling x86_efi_copyin and x86_efi_getdev directly. This is to help ... port loader.efi to both 32 and 64-bit ARM where we can use this file with minimal changes. Differential Revision: https://reviews.freebsd.org/D2031 Reviewed by: imp		2015-03-22 18:17:55 +00:00
..
amd64_tramp.S
autoload.c
bootinfo.c	Stop calling x86_efi_copyin and x86_efi_getdev directly. This is to help	2015-03-22 18:17:55 +00:00
conf.c	Enable bzipfs support in the EFI loader.	2015-03-13 09:41:27 +00:00
copy.c	Allow the EFI loader to work with large kernels and/or modules	2015-03-12 17:07:24 +00:00
devicename.c
elf64_freebsd.c
framebuffer.c
framebuffer.h
ldscript.amd64
main.c	EFI: print more information about EFI Tables.	2015-02-05 07:19:30 +00:00
Makefile	Move the x86 specific files to be built in the amd64 loader.efi. This will	2015-03-15 19:00:35 +00:00
reloc.c
start.S
version
x86_efi.h