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