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

[Rui-Xiang Guo <rxg%lavabit.com@localhost>]

On Fri, Oct 16, 2026 at 09:33:54AM +1100, matthew green 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..

Does rock64 use rk3328-rock64.dts?
Looks like rk_vop and rk_dwhdmi are not yet supported.

-rxg