|On Jun 10, 2020, at 2:55 AM, Sad Clouds <cryintothebluesky%gmail.com@localhost> wrote:|
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>Does anyone know if HDMI output is supported on RPi4 or if it is onlyserial console? Is there a way to tell from dmesg?
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:
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
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:
HDMI output and graphical console worked for me, but I only have one monitor. I set the console preference to "Serial" but get output (and was able to input) on both.
I get these things in dmesg that appear related to console:
[ 1.000003] plcom0 at acpi0 (URT0, BCM2837-4): mem 0xfe201000-0xfe201fff irq 153
[ 1.000003] plcom0: console
[ 1.000003] genfb0 at simplebus1: Simple Framebuffer (1280x1024 32-bpp @ 0x3e6c7000)
[ 1.000003] genfb0: framebuffer at 0x3e6c7000, size 1280x1024, depth 32, stride 5120
[ 1.000003] wsdisplay0 at genfb0 kbdmux 1: console (default, vt100 emulation)
[ 1.000003] wsmux1: connecting to wsdisplay0
[ 1.000003] wsdisplay0: screen 1-3 added (default, vt100 emulation)