RPi4b 8GB 13.0-Current, XHCI broken, wrong U-Boot ?

[Klaus Küchemann]

> Am 03.01.2021 um 11:57 schrieb Emmanuel Vadot <manu at bidouilliste.com>:
> 
> 
> Check the RPI image
> (https://download.freebsd.org/ftp/snapshots/ISO-IMAGES/13.0/FreeBSD-13.0-CURRENT-arm64-aarch64-RPI-20201224-3cc0c0d66a0-255241.img.xz)

I did and now I’m sure that you don’t own an RPI4-8GB(because the image doesn’t boot from USB/SSD)..
But the good news is that you have everything done well in „organizing“ the firmware-port.
With this last image the start4.elf & fixup4.dat is fine ! So:good work.
So it’s all about : https://reviews.freebsd.org/D26853 
which fixes pcie/usb-bootup-firmware-issues.( tested by me & Andy for now).

> Am 03.01.2021 um 11:57 schrieb Emmanuel Vadot <manu at bidouilliste.com>:
>> So the question is WHICH files should differ from sysutils/rpi-firmware.
> 
> None.

 it’s  bcm2711-rpi-4-b.dtb which(currently) has to differ if we want to boot straight up from USB/SSD .
I say `currently` because that could change upstream. But why struggle with upstream if we can fix it ourselves?


> Am 03.01.2021 um 12:43 schrieb Andy McClements <ajm at ip-ether.net>:
> 
> …..
> I am happy to say that, WITH PATCH D26853, all of these will successfully allow FreeBSD 20201224 to boot from USB SSD. Also that the vanilla 20201224 img (which I have checked includes the 20201201 firmware) also works fine, WITH PATCH D26853.
> ….


That’s awesome  news, Andy 
and many many thanks for all your extensive tests !
So we can probably say that currently we don’t have to struggle with different silicon-version, very good news.

And while #0XJTAG-Boss Rob privately is booting from a poor uSD-fingernail himself,
the nicest present he gave us is the USB/SSD-bootup ;-) , superf**king fast, 10 times faster(measured) than uSD, great!


Regards

K.