Driver for Raspberry Pi 4 PCI-express controller

[Mark Millard]

On 2020-May-28, at 12:50, Klaus Küchemann <maciphone2 ar googlemail.com> wrote:

>> 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...

FYI: https://rpi4-uefi.dev/v1-14-release-for-pi-4/ reports
support of 8 GiBytes on the new RPi4 variation.

===
Mark Millard
marklmi at yahoo.com
( dsl-only.net went
away in early 2018-Mar)