| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| bootx64.efi | 12/09/24 20:4012/09/24 | 1.1 MiB | [Save][Download] |
| grub-embedded.cfg | 23/09/13 20:3523/09/13 | 78 B | [Save][Download] |
| grub.cfg | 12/09/24 20:0812/09/24 | 917 B | [Save][Download] |
| initrd.img | 17/11/24 19:4917/11/24 | 90.8 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] |
| generic.s | 17/11/24 19:1017/11/24 | 13 MiB | [Save][Download] |