Name Last modified Size Description
Parent Directory -
tools.cfg 2013-08-12 14:08 1.2K
osdetect.cfg 2013-09-21 12:02 10K
grub-embedded.cfg 2013-09-23 13:35 78
make-grub.sh 2018-02-24 12:49 2.4K
bootx64.efi 2018-02-24 12:49 1.2M
grub.cfg 2018-04-17 14:17 893
huge.s 2019-04-17 11:32 9.1M
initrd.img 2019-04-17 13:23 36M