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