/configs/releng/efiboot/EFI/boot/

• ../
• startup_iso.nsh
• startup_usb.nsh