Driver for Raspberry Pi 4 PCI-express controller

[Klaus Küchemann]

> Am 10.06.2020 um 02:43 schrieb greg at unrelenting.technology:
> 
> 
> Well that's a hang that might be caused by anything.
> 

Yes, I had e.g. issues with console-settings of serial/graphical (discussed on Discord-channel)
respecting hdmi<>console-settings on the 8GB-model…
 seems to be something like that or so

> 
> And here's a little preview of how we'll handle it:
> https://reviews.freebsd.org/P391
> 
boah, unrelenting today :-) … great !

> Am 10.06.2020 um 02:43 schrieb Paul Mather <paul at gromit.dlib.vt.edu>:
> 
> I have been able to boot the Raspberry Pi 4B 8GB model on NetBSD/aarch64 -CURRENT using the RPi UEFI 1.14 firmware release and without the 3 GB memory limit in effect:

great !... saw your message on NetBSD-list simultaneously :-)