| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| tools.cfg | 1.2 KiB | 2013-Aug-12 21:08 | |
| osdetect.cfg | 10.5 KiB | 2013-Sep-21 19:02 | |
| grub-embedded.cfg | 78 B | 2013-Sep-23 20:35 | |
| make-grub.sh | 2.4 KiB | 2019-Jul-05 18:54 | |
| generic.s | 12.9 MiB | 2024-Sep-12 19:41 | |
| grub.cfg | 917 B | 2024-Sep-12 20:08 | |
| initrd.img | 89.5 MiB | 2024-Sep-12 20:38 | |
| bootx64.efi | 1.1 MiB | 2024-Sep-12 20:40 | |