latest method for freebsd on raspberry pi 4 (8GB)

[Pierre DAVID]

On Wed, Nov 11, 2020 at 10:15:10PM +0000, tech-lists wrote:
>On Wed, Nov 11, 2020 at 05:42:21PM +0000, tech-lists wrote:
>
>[snipped]
>
>managed to get it booted again like this. Thought I'd post in case anyone got
>where I was and couldn't work out what to do at first. Some file locations
>have changed between this time and last and inbetween those times I ran
>raspabian-64bit on it, and upgraded the firmware. What follows below allows
>the rpi4 to boot as of today, from the micro sdcard. I tried writing the
>modified image to a 32GB usb key but it would not boot.
>
>1. get latest -current snapshot for rpi3. I got
>https://download.freebsd.org/ftp/snapshots/ISO-IMAGES/13.0/FreeBSD-13.0-CURRENT-arm64-aarch64-RPI3-20201105-ef87bd449eb.img.xz
>(I don't know if 12.2-release or -stable would work)
>
>2. unxz the file
>3. mdconfig -f the file and mount the msdos part
>4. cd into the mount
>
>5. wget https://sourceforge.net/projects/rpi4uboot202010-fbsdonly-klaus/files/u-boot.bin/download -O u-boot.bin
>6. fetch https://github.com/raspberrypi/firmware/raw/master/boot/fixup4.dat
>7. fetch https://github.com/raspberrypi/firmware/raw/master/boot/start4.elf
>8. cd ..
>9. sync
>10. umount the msdos part
>11. mdconfig -d -u 0
>12. put the card in the pi and boot
>-- 

Why don't you simply dd the whole uncompressed image to the 
SD-card at once?

Pierre