| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| tools.cfg | 1.2 KiB | 2013-Aug-13 05:08 | |
| osdetect.cfg | 10.5 KiB | 2013-Sep-22 03:02 | |
| grub-embedded.cfg | 78 B | 2013-Sep-24 04:35 | |
| make-grub.sh | 2.4 KiB | 2013-Sep-25 13:10 | |
| grub.cfg | 893 B | 2015-Nov-15 03:11 | |
| bootx64.efi | 1.2 MiB | 2016-Jun-13 11:20 | |
| huge.s | 7.3 MiB | 2016-Jun-25 02:38 | |
| initrd.img | 37.6 MiB | 2016-Jun-25 05:14 | |