/files/UEFI/GNOME/EFI/BOOT/

• ../
• bootx64.efi
• fonts
• grub.cfg
• themes