arm64 as Tier 1 for FreeBSD 13

[Bakul Shah]

On Thu, 30 Jan 2020 10:58:34 -0600 Kyle Evans <kevans at freebsd.org> wrote:
>
> 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

Note that model specific variables can be specified in
confg.txt under relevant sections.  See
https://www.raspberrypi.org/documentation/configuration/config-txt/conditional.md

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

Linux & plan9 boot without any u-boot.  If the same can be
done with FreeBSD, netboot can be used to speed up testing
(even if ethernet doesn't work in FreeBSD).

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

Is there a task list for the rpi4? Ideally documented as a bug list!