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
..
boot1.efi	Add error reporting (but not actual handling yet, apart from	2015-03-07 19:14:01 +00:00
efi	Stop calling x86_efi_copyin and x86_efi_getdev directly. This is to help	2015-03-22 18:17:55 +00:00
Makefile	Add a simple EFI stub loader. This is a quick and dirty of boot1.chrp from	2014-04-13 01:14:25 +00:00
Makefile.inc	The System V ABI for amd64 allows functions to use space in a 128 byte	2015-03-13 09:38:16 +00:00