| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| bootx64.efi | 15/06/21 19:1615/06/21 | 1.1 MiB | [Save][Download] |
| grub-embedded.cfg | 23/09/13 20:3523/09/13 | 78 B | [Save][Download] |
| grub.cfg | 17/04/18 21:1717/04/18 | 893 B | [Save][Download] |
| huge.s | 02/02/22 08:0502/02/22 | 10.7 MiB | [Save][Download] |
| initrd.img | 02/02/22 08:2102/02/22 | 48.1 MiB | [Save][Download] |
| make-grub.sh | 05/07/19 18:5405/07/19 | 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] |