PC の BIOS にも採用されている UEFI の実装である EDK2 が aarch64(arm64) にも対応するようになってそこそこ経過していますが、手元で動かす機会があまりなかったので(今更ですが) QEMU 上で動かしてみることにします。 EDK II ? EDK2 は UEFI (Unified Extensible Firmware Interface) の OpenSource 実装で、OS 起動前の bootloader や Hardware 初期化などの役割を担っています。TianoCore community によりメンテナンスされています。 準備 ビルドで使用するツールを事前に準備します。使用する Python とパッケージが Python のバージョンに依存するため、インストールできる distribution は新しい方が望ましいです。 ※ Ubuntu18.