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

tech-lists <[email protected]> Wed, 11 Nov 2020 22:15:10 +0000

Newsgroups	gmane.os.freebsd.devel.arm
Message-ID	<[email protected]>

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
-- 
J.

signature.asc (application/pgp-signature, 833 B)