rpaulo 7bfd35f8ba EFI: print more information about EFI Tables. ... This adds the GUIDs for DXE, HOB, Memory Type Information and Debug Image Info.		2015-02-05 07:19:30 +00:00
..
include	EFI: print more information about EFI Tables.	2015-02-05 07:19:30 +00:00
libefi	Fix UEFI PXE boot on a NIC that isn't the first NIC.	2015-01-30 18:25:53 +00:00
Makefile
Makefile.inc	Don't force efi to a 32-bit build on amd64	2014-02-07 16:28:40 +00:00