Hi!
I am trying to boot a HEAD image from a few days ago on a Raspberry Pi 4 B. I tried both the UEFI boot image from my experiments with VMware ESXi, and one with plain UEFI Firmware v1.24. In both cases NetBSD starts to boot, but hangs after genfb0 is detected. The last line is "wsdisplay0 at genfb0 ..." and then nothing. Are there any settings I can try to get past this?