/mini_kernel/

• ../
• grub.cfg