| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| bootx64.efi | 13/06/16 03:2013/06/16 | 1.2 MiB | [Save][Download] |
| grub-embedded.cfg | 23/09/13 20:3523/09/13 | 78 B | [Save][Download] |
| grub.cfg | 14/11/15 19:1114/11/15 | 893 B | [Save][Download] |
| huge.s | 24/06/16 18:3824/06/16 | 7.3 MiB | [Save][Download] |
| initrd.img | 24/06/16 21:1424/06/16 | 37.6 MiB | [Save][Download] |
| make-grub.sh | 25/09/13 05:1025/09/13 | 2.4 KiB | [Save][Download] |
| osdetect.cfg | 21/09/13 19:0221/09/13 | 10.5 KiB | [Save][Download] |
| tools.cfg | 12/08/13 21:0812/08/13 | 1.2 KiB | [Save][Download] |