これは日々の作業を通して学んだことや毎日の生活で気づいたことをを記録しておく備忘録である。
HTML ファイル生成日時: 2024/12/21 11:44:57.596 (台灣標準時)
Raspberry Pi 4 に NetBSD-10 をインストールする手順を記録しておくでござる。
まず Raspberry Pi 4 用の UEFI firmware を https://github.com/pftf/RPi4 からダウンロードするでござる。
% wget https://github.com/pftf/RPi4/releases/download/v1.37/RPi4_UEFI_Firmware_v1.37.zip
ダウンロードしたファイルには以下のものが含まれているでござる。
% ls -lF RPi4_UEFI_Firmware_v1.37.zip -rw-r--r-- 1 daisuke taiwan 3380470 Apr 11 14:37 RPi4_UEFI_Firmware_v1.37.zip % unzip -l RPi4_UEFI_Firmware_v1.37.zip Archive: RPi4_UEFI_Firmware_v1.37.zip Length Date Time Name --------- ---------- ----- ---- 2031616 2024-04-11 14:37 RPI_EFI.fd 54264 2024-04-11 14:37 bcm2711-rpi-4-b.dtb 54353 2024-04-11 14:37 bcm2711-rpi-400.dtb 54873 2024-04-11 14:37 bcm2711-rpi-cm4.dtb 243 2024-04-11 14:31 config.txt 5434 2024-04-11 14:37 fixup4.dat 2256256 2024-04-11 14:37 start4.elf 0 2024-04-11 14:37 overlays/ 2775 2024-04-11 14:37 overlays/upstream-pi4.dtbo 1566 2024-04-11 14:37 overlays/miniuart-bt.dtbo 4885 2024-04-11 14:31 Readme.md 0 2024-04-11 14:31 firmware/ 502 2024-04-11 14:31 firmware/Readme.txt 9136 2024-04-11 14:31 firmware/LICENCE.txt 0 2024-04-11 14:31 firmware/brcm/ 7163 2024-04-11 14:31 firmware/brcm/brcmfmac43455-sdio.clm_blob 2172 2024-04-11 14:31 firmware/brcm/brcmfmac43455-sdio.txt 2074 2024-04-11 14:31 firmware/brcm/brcmfmac43455-sdio.Raspberry 631467 2024-04-11 14:31 firmware/brcm/brcmfmac43455-sdio.bin --------- ------- 5118779 19 files
microSD カードを FAT32 でフォーマットし、その microSD カードを mount し、そこにダウンロードしたファームウェアを書き込むでござる。
# cd /mnt # unzip /tmp/RPi4_UEFI_Firmware_v1.37.zip Archive: /tmp/RPi4_UEFI_Firmware_v1.37.zip inflating: RPI_EFI.fd inflating: bcm2711-rpi-4-b.dtb inflating: bcm2711-rpi-400.dtb inflating: bcm2711-rpi-cm4.dtb inflating: config.txt inflating: fixup4.dat inflating: start4.elf creating: overlays/ inflating: overlays/upstream-pi4.dtbo inflating: overlays/miniuart-bt.dtbo inflating: Readme.md creating: firmware/ inflating: firmware/Readme.txt inflating: firmware/LICENCE.txt creating: firmware/brcm/ inflating: firmware/brcm/brcmfmac43455-sdio.clm_blob inflating: firmware/brcm/brcmfmac43455-sdio.txt inflating: firmware/brcm/brcmfmac43455-sdio.Raspberry inflating: firmware/brcm/brcmfmac43455-sdio.bin # ls -lF total 4544 -rwxr-xr-x 1 root root 54353 Apr 11 14:37 bcm2711-rpi-400.dtb* -rwxr-xr-x 1 root root 54264 Apr 11 14:37 bcm2711-rpi-4-b.dtb* -rwxr-xr-x 1 root root 54873 Apr 11 14:37 bcm2711-rpi-cm4.dtb* -rwxr-xr-x 1 root root 243 Apr 11 14:31 config.txt* drwxr-xr-x 3 root root 32768 Apr 11 14:31 firmware/ -rwxr-xr-x 1 root root 5434 Apr 11 14:37 fixup4.dat* drwxr-xr-x 2 root root 32768 Apr 11 14:37 overlays/ -rwxr-xr-x 1 root root 4885 Apr 11 14:31 Readme.md* -rwxr-xr-x 1 root root 2031616 Apr 11 14:37 RPI_EFI.fd* -rwxr-xr-x 1 root root 2256256 Apr 11 14:37 start4.elf* # cd # umount /mnt
次に、 Raspberry Pi 4 用の NetBSD-10 のイメージをダウンロードするでご ざる。
% wget http://nycdn.netbsd.org/pub/NetBSD-daily/netbsd-10/latest/evbarm-aarch64/binary/gzimg/arm64.img.gz
ダウンロードできたら、 gunzip コマンドを使って、圧縮を解くでござる。
% ls -lF arm64.img.gz -rw-r--r-- 1 daisuke taiwan 400032789 Jul 18 09:30 arm64.img.gz % gunzip arm64.img.gz % ls -lF arm64.img -rw-r--r-- 1 daisuke taiwan 1582301184 Jul 18 09:30 arm64.img
dd コマンドを使って USB 接続の外付け SSD や USB メモリースティックに arm64.img を書き込むでござる。 NetBSD で行うのであれば、以下のようにす ればよいでござる。
# dd if=/tmp/arm64.img of=/dev/rsd0d bs=1m
Debian GNU/Linux で行うのであれば、以下のようにすればよいでござる。
# dd if=/tmp/arm64.img of=/dev/sdb bs=1M
あとは、 microSD カードと USB 接続の SSD (或いは USB メモリースティッ ク) を Raspberry Pi 4 に取り付けて、電源を入れれば NetBSD-10 が起動す るでござる。