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