arm64 as Tier 1 for FreeBSD 13

[Kyle Evans]

[Resend because my mail provider keeps incorrectly defaulting the From
address and that one can't send to lists -- sorry for the duplicate]

On Thu, Jan 30, 2020 at 10:50 AM bob prohaska <fbsd at www.zefox.net> wrote:
>
> On Thu, Jan 30, 2020 at 04:16:48PM +0100, Klaus K??chemann via freebsd-arm wrote:
> >
> >
> > If somebody answers here : " yes, I want a HowTo and will help the fbsd-project",
> > I'll write a HowTo. ;-). If nobody wants to boot FreeBSD on the crappy RPI4 we can't help out :-)
>
> I'll bite. I'd like to see a set of instructions for making FreeBSD boot on a Pi4
> and will help the FreeBSD foundation. My CD-ROM subscription seems to have stopped
> coming, so I'll send a donation direct to the Foundation.
>
> It's worth remembering that FreeBSD, along with the rest of the open-source
> movement, started with ports to the IPM PC-AT, a "crappy" platform by most
> accounts of the day.
>
> Thanks for reading,
>
> bob prohaska

1. fetch https://download.freebsd.org/ftp/snapshots/arm64/aarch64/ISO-IMAGES/13.0/FreeBSD-13.0-CURRENT-arm64-aarch64-RPI3-20200130-r357276.img.xz

2. Extract

3. dd

4. Crack open the msdosfs partition, move config_rpi4.txt to config.txt

5. Install u-boot-rpi4, copy u-boot.bin over to the msdosfs partition

6. ???

7. Profit, but not much because you can't interact much with the
outside world for the moment