/EFI/BOOT/

• ../
• grub-embedded.cfg
• help.txt
• make-grub.sh
• theme