freebsd-dev/sys/boot/amd64
2014-12-23 16:00:25 +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 Use explicit --output-target to set EFI file format 2014-12-23 15:58:45 +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