Driver for Raspberry Pi 4 PCI-express controller

[Klaus Küchemann]

> 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