①以下からshell.efiをダウンロード https://github.com/tianocore/edk2/blob/vUDK2017/ShellBinPkg/UefiShell/X64/Shell.efi ②USBメモリをfat32でフォーマット ③USBメモリにefiフォルダを作る。その中にbootフォルダを作る。 ④shell.efiをbootx64.efiにリネ…