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