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