| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| bootx64.efi | 1.1 MiB | 2024-Jun-23 21:50 |
| grub-embedded.cfg | 78 B | 2013-Sep-23 23:35 |
| grub.cfg | 893 B | 2018-Apr-18 00:17 |
| huge.s | 14.4 MiB | 2024-Jun-21 21:17 |
| initrd.img | 51.1 MiB | 2024-Jun-21 21:53 |
| make-grub.sh | 2.4 KiB | 2019-Jul-05 21:54 |
| osdetect.cfg | 10.5 KiB | 2013-Sep-21 22:02 |
| tools.cfg | 1.2 KiB | 2013-Aug-13 00:08 |