os-k/boot/grub
Adrien Bourmault afdd7aa4a0 Unroot the makefile, enhancements ! 2019-11-11 18:32:22 +01:00
..
grub.cfg timeout changed 2019-04-06 21:21:34 +02:00
multiboot.pdf Stuff 2019-03-19 12:24:27 +01:00