File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
grub-embedded.cfg | 78 | 2013-Sep-23 22:35 |
grub.cfg | 917 | 2024-Sep-12 22:08 |
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 | 1200128 | 2024-Sep-12 22:40 |
generic.s | 13615616 | 2024-Nov-17 21:10 |
initrd.img | 95215448 | 2024-Nov-17 21:49 |