2022 Sep. 19.
参考
EFI システムパーティション - ArchWiki
GRUB - ArchWiki
EFI システムパーティション - ArchWiki
300MB以上の、パーティションタイプ GUIDが"C12A7328-F81F-11D2-BA4B-00A0C93EC93B"のEFIシステムパーティション(ESP)を作る。
fdiskでのパーティションタイプは EFI System
gdiskでのパーティションタイプは EF00
GNU Partedでは ファイルシステム fat32 のパーティションを作成し、esp フラグをセットする
ESPはFAT32 ファイルシステムでフォーマットし、/boot にマウントする。
