Raspberry Pi 4 installation instructions

[Sad Clouds <cryintothebluesky%gmail.com@localhost>]

Hello, looking at this page:
https://wiki.netbsd.org/ports/evbarm/raspberry_pi/

It doesn't seem to have detailed instructions on how to get upcoming
NetBSD-10 running on Raspberry Pi 4. It briefly mentions UEFI
firmware, but not much else and no step by step guide.

Is there interest in getting this page updated? I have some
instructions for NetBSD-10 which I can share with people.

Thanks.