/aleeos/boot/

• ../
• grub
• kernel.bin