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

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

On Tue, 9 Jun 2020 20:32:06 -0400
Paul Mather <bsd-lists%gromit.dlib.vt.edu@localhost> wrote:

> On Jun 9, 2020, at 1:14 PM, Jared McNeill <jmcneill%invisible.ca@localhost>
> wrote:
> 
> > Hi Paul --
> > 
> > I don't have a board to try, but you should be able to boot NetBSD
> > on the 8GB model with the latest Pi4 UEFI firmware:
> > 
> > https://rpi4-uefi.dev/v1-14-release-for-pi-4/
> > 
> > To use it, start with 'arm64.img' from NetBSD -current. Delete
> > everything from the MSDOS partition except for the "EFI" directory,
> > then place the contents of the RPi4 UEFI build on the root of the
> > SD card.
> > 
> > First time you boot, interrupt the UEFI firmware by pressing escape
> > and under the 'Advanced Configuration' find the "Limit RAM to 3 GB"
> > option and disable it.
> > 
> > Let us know how it goes!
> 
> 
> Thanks for the easy-to-follow instructions!  I was able successfully
> to boot my Raspberry Pi 4 8GB model using the above firmware and a
> recent -CURRENT snapshot:

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?