Name Last modified Size
Parent Directory -
grub-embedded.cfg 2013-09-24 05:35 78
grub.cfg 2015-11-15 04:11 893
tools.cfg 2013-08-13 06:08 1.2K
make-grub.sh 2013-09-25 14:10 2.4K
osdetect.cfg 2013-09-22 04:02 10K
bootx64.efi 2016-06-13 12:20 1.2M
huge.s 2016-06-25 03:38 7.3M
initrd.img 2016-06-25 06:14 38M