You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.

Format a USB drive as FAT32 and put BOOTX64.EFI in USB:\EFI\BOOT\ (create the folders EFI and BOOT manually). The final path of the shell will be USB:\EFI\BOOT\BOOTX64.EFI. Download your current BIOS ...