os-k/boot
Adrien Bourmault 0104feedd7 Update makefile and grub installation stuff ! 2019-02-15 15:47:56 +01:00
..
grub Update makefile and grub installation stuff ! 2019-02-15 15:47:56 +01:00
loader Update makefile and grub installation stuff ! 2019-02-15 15:47:56 +01:00
folder.desc Grub stuff 2019-02-10 16:18:32 +01:00