/platforms/rpi-aarch64/boot/

• ../
• EFI
• config.txt
• startup.nsh
• ubootconfig.txt