source: mainline/boot/grub.efi@ 6d8455d

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Name Size Rev Age Author Last Change
../
i386-efi 83285fd   14 years martin add configuration choice to boot the ISO image using GRUB for BIOS …
x86_64-efi 83285fd   14 years martin add configuration choice to boot the ISO image using GRUB for BIOS …
COPYING 34.3 KB ​ 83285fd   14 years martin add configuration choice to boot the ISO image using GRUB for BIOS …
efi.img.gz 392.2 KB ​ 83285fd   14 years martin add configuration choice to boot the ISO image using GRUB for BIOS …
README 592 bytes ​ 83285fd   14 years martin add configuration choice to boot the ISO image using GRUB for BIOS …
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.