source:
mainline/boot/grub.efi@
8757be86
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| i386-efi | 83285fd | 14 years | add configuration choice to boot the ISO image using GRUB for BIOS … | ||
| x86_64-efi | 83285fd | 14 years | add configuration choice to boot the ISO image using GRUB for BIOS … | ||
| COPYING | 34.3 KB | 83285fd | 14 years | add configuration choice to boot the ISO image using GRUB for BIOS … | |
| efi.img.gz | 392.2 KB | 83285fd | 14 years | add configuration choice to boot the ISO image using GRUB for BIOS … | |
| README | 592 bytes | 83285fd | 14 years | add configuration choice to boot the ISO image using GRUB for BIOS … | |
|
Note:
See TracBrowser
for help on using the repository browser.
