arm64 as Tier 1 for FreeBSD 13

[Tom Jones]

On Wed, Jan 29, 2020 at 10:29:07PM +0100, Emmanuel Vadot wrote:
> On Wed, 29 Jan 2020 21:11:38 +0000
> "Poul-Henning Kamp" <phk at phk.freebsd.dk> wrote:
> 
> > --------
> > In message <D140BA2A-71F3-4574-9015-675950705AF2 at gromit.dlib.vt.edu>, Paul Mather writes:
> > >On Dec 4, 2019, at 4:24 AM, Robert Clausecker <fuz at fuz.su> wrote:
> > >
> > >> On Wed, Dec 04, 2019 at 07:29:57AM +0000, Poul-Henning Kamp wrote:
> > >>> In message <CAPyFy2BXWPVOJo+GOf83sZFrPHE80-QvdHeWrhi+Tdj0KDnThg at mail.gmail.com>, Ed Maste writes:
> > >>
> > >> Indeed.  For example, on a Raspberry Pi 3B, it takes multiple days to
> > >> build world as the build must be done single threaded due to a lack of
> > >> RAM (building LLVM is the worst offender here).
> > 
> > I plugged in a "WD SSD Passport" USB disk, it supports BIO_DELETE and
> > performs so much better than a SD card, that swapon(8) is a good idea.
> > 
> > I will also repeat again:  We ignore the RPi4 at our peril.
> 
>  Show me the TRM.
>  Please show me a way to do this without looking at linux GPL driver.
> 
> > RPi's are a LOT easier to get hold of for hackers and in particular
> > for educators.
> 
>  In what way ?
>  Real answer only.

I am not pro-pi, but ease of availability in education is a valid point.

I work for a University and we have to buy through vetted suppliers,
Farnell have an education front end called onecall that we use a lot for
electronics and components. Right now they have 50000 raspberry pi 4's [1]
available, I suspect I could get enough for a class with a days turn
around.

Other boards are not the same, we tried to buy the macchiatobin a few
years ago and were unable to get a delivery date that was acceptable. 

However, I agree with manu, without documentation this is a moot point. I don't
see a university (or secondary school) investing the time (money) to
support the pi, a FreeBSD developer might. 

We need an interested FreeBSD developer and they need documentation for
us to have a hope of supporting the board. 

[1]: https://onecall.farnell.com/buy-raspberry-pi?ICID=I-HP-PP-PI-3a-1783488

- [tj]