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