| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| grub-embedded.cfg | 78 | 2013-Sep-23 22:35 |
| grub.cfg | 893 | 2018-Apr-17 23:17 |
| tools.cfg | 1273 | 2013-Aug-12 23:08 |
| make-grub.sh | 2504 | 2019-Jul-05 20:54 |
| osdetect.cfg | 10722 | 2013-Sep-21 21:02 |
| bootx64.efi | 1187840 | 2021-Jun-15 21:16 |
| huge.s | 11207136 | 2022-Feb-02 10:05 |
| initrd.img | 50455140 | 2022-Feb-02 10:21 |