Re: NetBSD/aarch64 on 8 GB Raspberry Pi 4B?

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

On Wed, 10 Jun 2020 13:55:47 +0000 (UTC)
John Klos <john%ziaspace.com@localhost> wrote:

> > Does anyone know if HDMI output is supported on RPi4 or if it is
> > only serial console? Is there a way to tell from dmesg?
> 
> HDMI works well, although I've only tested one display. No idea about 
> multi-display support.
> 
> John

Thanks for the info, only need to see boot messages, so one display is
plenty. Will follow instructions from previous emails and try to boot
NetBSD on 4 GiB model.