Nathan Whitehorn 8f6580d808 Apparently this is supposed to be FAT32, not FAT12.		2014-04-26 17:51:41 +00:00
..
boot1.efi	Apparently this is supposed to be FAT32, not FAT12.	2014-04-26 17:51:41 +00:00
efi	NO_MAN= has been deprecated in favor of MAN= for some time, go ahead	2014-04-13 05:21:56 +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