Driver for Raspberry Pi 4 PCI-express controller

[Klaus Küchemann]

> Am 28.05.2020 um 21:19 schrieb Mark Millard <marklmi at yahoo.com>:
> 
> On 2020-May-28, at 10:20, Klaus Küchemann via freebsd-arm <freebsd-arm at freebsd.org> wrote:
> 
>> 
>>> . . .
>> 
>> 
>> … well, yet another thing  :
>> 
>> http://u-boot.10912.n7.nabble.com/PATCH-v3-0-2-usb-xhci-Load-Raspberry-Pi-4-VL805-s-firmware-td410664.html
>> 
>> https://patchwork.kernel.org/cover/11529585/
> 
> Interesting.
> 
> Looks like those post-date the current 2020.04 base for u-boot from
> sysutils/u-boot-rpi4 and sysutils/u-boot-master .
> 
> I do not know the https://github.com/pftf/RPi4/releases/tag/v1.13
> ( https://rpi4-uefi.dev ) status relative to such things: the
> dates are more recent but that is not a sufficient indicator.
> 
> 
> ===
> Mark Millard
> marklmi at yahoo.com
> ( dsl-only.net went
> away in early 2018-Mar)
> 

Yeah, as I said to Robert some minutes ago, that discussion belongs to the new 8GB-model, `should have pointed that out…
For rpi4UEFI it will need changes… for Robert`s fdt-driver-Version we will 
see what quirks will have to be addressed for the new gadget...