RPI4 with UEFI supports serial console

Hi, could some developer change the evbarm/raspberry_pi wiki?

It states that when using UEFI with the raspberry pi 4 you need a
monitor to boot the system, which is not true. Also it says that
you'll be limited to 3 GB of ram.

[...]
Issues and Workarounds
RPI4 xhci

With the netbsd-10 arm64.img on a RPI4 (most of them), the pci
driver is missing and therefore xhci will not attach, so the USB
ports will not work. One workaround is to switch to UEFI, but that
leads to a 3GB memory limit and needing a monitor.
[...]

Although it later says that this limit could be disabled it could
confuse new users.

In the the "Serial Console" section you could add something like:

"The Raspberry Pi 4 with the EDK2 UEFI firmware installed can be
connected using the gpios 14 and 15 and ground. There is no need
to remove console=fb from cmdline.txt. When dots appear at boot
time (or you see the Raspberry Pi logo if using a monitor), pushing
the escape key will enter the configuration menu.  Navigate through
the menus and select serial as the preferred console.  NetBSD will use
the serial console, although you'll can still control it locally
with the keyboard and monitor"

I would also change this part of the "UEFI booting" section:

[...]
See the UEFI firmware page. Write the UEFI firmware to the SD card.
Then either insert a USB drive with the standard NetBSD arm64.img
written to it, or have the FFS partition from that image on the
rest of the uSD card. The RPI will then boot from that filesystem.
[...]

Write arm64.img to a sd card.
Mount the dos file system of the sd card.
Extract RPI4_UEFI_Firmware_v#.##.zip in it.

This sounds a little more simple, doesn't it?

Regards.
adr