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