Andrew Turner 5da820b611 Only include machine/specialreg.h on x86		2015-04-03 12:30:18 +00:00
..
boot1	Move the efi loaders to be under sys/boot/efi. This will help us add	2015-04-01 08:30:40 +00:00
include	Allow EFI and ACPI to be included together. When ACPI is included	2015-02-20 01:40:55 +00:00
libefi	Move the x86 specific files to be built in the amd64 loader.efi. This will	2015-03-15 19:00:35 +00:00
loader	Only include machine/specialreg.h on x86	2015-04-03 12:30:18 +00:00
Makefile	Move the efi loaders to be under sys/boot/efi. This will help us add	2015-04-01 08:30:40 +00:00
Makefile.inc	Move the efi loaders to be under sys/boot/efi. This will help us add	2015-04-01 08:30:40 +00:00