os-k/boot
Adrien Bourmault 77b9f2d066 Makefile stuff 2019-03-16 22:33:09 +01:00
..
grub Makefile stuff 2019-03-16 22:33:09 +01:00
loader stuff I don't remember 2019-03-13 17:03:52 +01:00
folder.desc clean-up 2019-03-08 09:44:09 +01:00