arm64 as Tier 1 for FreeBSD 13

[Kyle Evans]

On Thu, Jan 30, 2020 at 1:49 PM Klaus Küchemann via freebsd-arm
<freebsd-arm at freebsd.org> wrote:
>
>
>
> > Am 30.01.2020 um 17:50 schrieb bob prohaska <fbsd at www.zefox.net>:
> >
> > 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
> >
> >>
> >> Regards
> >> Klaus
> >> _______________________________________________
> >> freebsd-arm at freebsd.org mailing list
> >> https://lists.freebsd.org/mailman/listinfo/freebsd-arm
> >> To unsubscribe, send any mail to "freebsd-arm-unsubscribe at freebsd.org“
> >>
>
> Hi Bob,
>
>  wow, hot discussion here :-)
> `was more a "joke“  with the „promise to help FreeBSD“ or in other words I didn’t think of money,
> With ‚help' I meant bug reports( in best case with patches), reading sourc- codes src .
>
> O.K., I’ll write a tutorial to the FreeBSD- forums tonight.
> But to say it here first, point 6 of Kyle Evans with the 2 question marks is :
>
> Copying the firmware from RPI-foundation to the SD-card  is step 6 which will make the RPI4 bootable from uSD ….

The RPI3 image already has the appropriate firmware on it, installed
from sysutils/rpi-firmware.

Thanks,

Kyle Evans