| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| tools.cfg | 1273 | 2013-Aug-12 21:08 |
| osdetect.cfg | 10722 | 2013-Sep-21 19:02 |
| make-grub.sh | 2493 | 2013-Sep-25 05:10 |
| initrd.img | 39424516 | 2016-Jun-24 21:14 |
| huge.s | 7630144 | 2016-Jun-24 18:38 |
| grub.cfg | 893 | 2015-Nov-14 19:11 |
| grub-embedded.cfg | 78 | 2013-Sep-23 20:35 |
| bootx64.efi | 1223680 | 2016-Jun-13 03:20 |