re: Can't boot NetBSD from eMMC storage on rock64?

[Matthias Geiger <werdahias%riseup.net@localhost>]

On Fri, 16 Oct 2026 00:33, matthew green <mrg%eterna23.net@localhost> wrote:
> Matthias Geiger writes:
> > Hi,
> >
> > I have a spare rock64 I want to run NetBSD on. I downloaded 
> > https://nycdn.netbsd.org/pub/arm/NetBSD-11.0-release/NetBSD-11-aarch64--rock64.img.gz
> > from armbsd.org, extracted the image, and flashed it to the eMMC storage 
> > from PINE64 with dd. However, I don't get any output at all on the HDMI 
> > port.
> >
> > Did I miss something here? Is HDMI not supported yet on this board?
> >
> > Unfortunately I don't have a Serial-to-USB cable at hand to debug this 
> > in-depth; would appreciate any pointers.
>
> i have never tried hdmi here, and it doesn't work indeed.  i get
> nothing in both u-boot or netbsd.  i suspect there is both work
> to do in both.  netbsd says:
>
> [     1.000004] rkdrm0 at simplebus0
> [     1.000004] rkdrm0: error: no display interface ports configured
> [     1.000004] rkdrm0: error: couldn't register DRM device: -6
>
> for me.  i'll try figure out something, but we'll see..
Hi, 

thanks for confirming. In the meantime I got it to run,
I was missing the creds.txt file. Maybe once I settled more in I can 
look into getting proper HDMI support.

best,

--

Matthias Geiger <werdahias>

Debian Developer -- KiCad Contributor
GPG: ECBEDBB607B9B2BE