os-k/boot/grub
Adrien Bourmault 0104feedd7 Update makefile and grub installation stuff ! 2019-02-15 15:47:56 +01:00
..
include Update makefile and grub installation stuff ! 2019-02-15 15:47:56 +01:00
create_disk.sh Update makefile and grub installation stuff ! 2019-02-15 15:47:56 +01:00
grub-install.sh Update makefile and grub installation stuff ! 2019-02-15 15:47:56 +01:00
grub.cfg Grub configuration successfully ended. Yeah. 2019-02-12 12:03:25 +01:00
mount.sh Update makefile and grub installation stuff ! 2019-02-15 15:47:56 +01:00
multiboot.pdf Grub configuration successfully ended. Yeah. 2019-02-12 12:03:25 +01:00
umount.sh Update makefile and grub installation stuff ! 2019-02-15 15:47:56 +01:00