arm64 as Tier 1 for FreeBSD 13

[Klaus Küchemann]

> Am 30.01.2020 um 21:36 schrieb Kyle Evans <kevans at freebsd.org>:
> …
> ..
> I think there's some kind of impedance mismatch here, but I'm not sure
> where. The steps are exactly as I wrote for the last RPi4 I stood up,
> and shouldn't have changed in the past month or two, even. You should
> only need to bring your own U-Boot and copy the rpi4 config.txt over.

No no, everything is surprisingly good, you made a quite good job, no mismatches :-)
It began to work with me with the following files downloaded from RPI-foundation and copied to
 Msdos-partition :
bcm2711-rpi-4-b.dtb(already there if I remember correctly)
fixup4.dat
fixup4cd.dat
fixup4db.dat
fixup4x.dat
start4.elf
start4cd.elf
start4db.elf
start4x.elf

Additionally the WHOLE(not only a part) folder „overlays“ in msdos-partition had to be overwritten 
with the files from RPI-foundation.
And of course: u-boot.bin was overwritten with the one from sysutils.
My next steps were mounting the SD-card on a network-capable fbsd-machine ,
then checkout src head, put the SD-card back to RPI, boot and compile to custom kernel/world.
What will follow is getting WIFI with "a" proprietary brcmfmac-file over SDIO .
For this please take a look again at a patch where you were involved afaik: 
https://reviews.freebsd.org/D15955
If that will be merged we should be able to boot from uSD AND implement WIFI first to get network
I did that on netbsd without problems with their SDIO-implementation).
(I didn`t find the time yet  to test that D15955 patch, but will try it)
All other things can be done later …
So, this was the „tutorial“ ;-) - perhaps tonight then for the public in the forums ...

Thank you
—

Regards 

Klaus