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