arm64 as Tier 1 for FreeBSD 13

[Klaus Küchemann]

> Am 30.01.2020 um 14:07 schrieb Bob Bishop <rb at gid.co.uk>:
> 
> Hi,
> 
>> On 29 Jan 2020, at 21:36, Poul-Henning Kamp <phk at phk.freebsd.dk> wrote:
>> 
>> --------
>> In message <20200129222907.3ccaf4c23fe8509e3f9cdfe4 at bidouilliste.net>, Emmanuel Vadot writes:
>> 
>>>> RPi's are a LOT easier to get hold of for hackers and in particular
>>>> for educators.
>>> 
>>> In what way ?
>>> Real answer only.
>> 
>> 1. Schools can get them through their usual suppliers of educational
>>  material, with a pretty decent discount, and with educational
>>  courses and materials, pretty much ready to go.
>> 
>> 2. Most "maker-space" atuned electronics pushers carry them.
>> 
>> 3. Big electronics pushers carry them.
>> 
>> In re 1-3: No customs processing of shipment involved.
>> 
>> 4. Cost, including shipping is below "trivial" threshold in most
>>  organizations.
> 
> RPi zero in particular is cheap enough to treat as a component.
> 
>> -- 
>> Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
>> phk at FreeBSD.ORG         | TCP/IP since RFC 956
>> FreeBSD committer       | BSD since 4.3-tahoe    
>> Never attribute to malice what can adequately be explained by incompetence.
> 
> --
> Bob Bishop
> rb at gid.co.uk
> 
> 
> 
> 
> _______________________________________________
> 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“

Well, with all respect  but this discussion is so extremely useless. ..
In fact FreeBSD boots from uSD on the RPI4. from my quick reading of the sources afaik it was K. Evans who made it bootable with CPU-hacks and E. Vadot who made the u-boot ports.
The only problem seems to be that there is no public HowTo for uSD-preparation,
If I find the time I'll post a HowTo e.g. in the fbsd-forums for stopping 
 the public user whining over the RPI and instead help the fbsd-project to get drivers to work :-) 
From the moment it has network(1st WIFI) it'll be a usable fbsd-gadget.
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 :-)

Regards
Klaus