Driver for Raspberry Pi 4 PCI-express controller

[Klaus Küchemann]

> Am 10.06.2020 um 01:57 schrieb Klaus Küchemann <maciphone2 at googlemail.com>:
> 
> 
> 
>> Am 10.06.2020 um 01:34 schrieb greg at unrelenting.technology:
>> 
>> ….
>> Only NetBSD does the required thing right now.
>> …
> 
> no, they also panic after disabling the 3 gig limit :
> https://www.klos.com/~john/rpi4_3gig_8gig_dmesg
> 
> but since you really hit the ground running unrelenting today :-) , you can send your next bugfix also  to NetBSD 
> Maybe it has to do with the V1.14, so perhaps, after we tested all your patches 
> On both 4&8Gig we talk to @AndreWarkentin again perhaps

ah, forgot link to boot failure in NetBSD :
https://www.klos.com/~john/rpi_boot_failure.jpg