| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| bootx64.efi | 26/10/13 23:0026/10/13 | 1.2 MiB | [Save][Download] |
| grub-embedded.cfg | 23/09/13 20:3523/09/13 | 78 B | [Save][Download] |
| grub.cfg | 21/09/13 21:0821/09/13 | 893 B | [Save][Download] |
| huge.s | 23/10/13 21:3423/10/13 | 6.1 MiB | [Save][Download] |
| initrd.img | 01/11/13 01:0701/11/13 | 29 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] |