UEFI

　UEFIについてほとんど知らなかったので資料やwebを読み漁って勉強。NVRAMに色々な設定が書き込まれるのはレガシーBIOSと似ているが、Windowsのレジストリのように整理されているらしい。
　ブートに関して言えば、NVRAMにブートエントリとして登録されるものと、UEFIがSYSTEMパーティションを読んで自動的にリストアップするものがあって、前者はエントリ名、後者は頭に「UEFI:」とついているので見分けられるらしい。
　Gole1にAndroidをインストールするとブートメニューには「Android-ia」と表示されることからブートエントリとして登録していると思われる。一方でWindowsもUEFIのブートエントリを操作していることが知られている。

　それを確認するためにGole1のUEFIシェルを立ち上げてbcfgコマンドを実行しようとしたが実装されていなかったので、githubからX64版のShell.efiを入手し、FAT32でフォーマットしたUSBメモリに/EFI/BOOT/bootx64.efiとしてコピーして起動し、確認した。