Raspberry Pi 4 Model Bに8GB版が出たのでKSYでelement14版を5/30に購入。合わせて128GBのマイクロSDカード、マイクロHDMI-HDMIケーブル、電源ケーブル、ケースをAmazonで購入。6/3にすべてそろったので早速セットアップ。
OSはRaspberry Pi OS 64bitをダウンロードして展開後にddコマンドでSDカードに書き込んだ。
SDカードを装着して電源投入するとすんなり起動。起動したら、メニューから設定→Raspberry Piの設定を選んで、インターフェイスタブのSSHを有効に変更、システムタブの自動ログインのチェックを外した。
一旦rootでログインしなおし、ユーザ名とグループ名を変更。