current best practice to start FreeBSD / Raspberry Pi 4

[YAMAMOTO Shigeru]

Hi, all

I have Raspberry PI 4, 4GB model and 8GB model.

I make SD image and I can boot 4GB model and 8GB model.

1. install u-boot-rpi4
  pkg install -y u-boot-rpi4

2. download SD card image for Raspberry Pi 3
  fetch https://download.freebsd.org/ftp/snapshots/ISO-IMAGES/13.0/FreeBSD-13.0-CURRENT-arm64-aarch64-RPI3-20200813-r364182.img.xz

3. write image to SD card
  xzcat FreeBSD-13.0-CURRENT-arm64-aarch64-RPI3-20200806-r363935.img.xz | dd of=/dev/da0 bs=8k

4. mount FAT partition at SD card
  mount_msdosfs /dev/da0s1 /mnt

5. replace files

- 4GB model
  - replace u-boot.bin
    - cp /usr/local/share/u-boot/u-boot-rpi4/u-boot.bin /mnt/.
- 8GB model
  - replace u-boot.bin, fixup4.dat, start4.elf
    - https://sourceforge.net/projects/rpi4-8gbram-boot-fbsdonly/files/u-boot.bin/download
    - https://github.com/raspberrypi/firmware/raw/1.20200717/boot/fixup4.dat
    - https://github.com/raspberrypi/firmware/raw/1.20200717/boot/start4.elf

6. unmount FAT partiion
  umount /mnt

dmesgs are:
- https://github.com/bsd-hacker/freebsd/wiki/How-to-start-FreeBSD---Raspberry-Pi-4

It is my current best practice.

I hope to know other best practice to start FreeBSD / Raspberry Pi 4.
and I hope to know best practice of rpi4-uefi version.

Thanks,
---
YAMAMOTO Shigeru <shigeru at os-hackers.jp>