Rui Paulo e708492700 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
..
boot1.efi	Update comment: only one file in the FAT file system EFI boot image	2014-12-23 16:00:25 +00:00
efi	EFI: print more information about EFI Tables.	2015-02-05 07:19:30 +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	Turn off various fancy instruction sets, as well as deduplicate some options.	2014-04-28 18:25:21 +00:00