I'm looking to compile a kernel for Gentoo (Orange Pi Prime), but afaik the HDMI support has not been mainlined yet. Does anybody know how Armbian kernels have it? And is there more to it than just the kernel sources? Last time I tried, I had no luck getting output.

Also, it doesn't seem like a too complex problem because my U-Boot build had perfect 1440p output last time I tried.

U-boot driver discussion: https://forum.armbian.com/topic/2864-h2h3h5a64-disp2-u-boot-video-driver/

Video mode set by u-boot can be used by the kernel with simplefb DT bindings

 

Kernel DRM driver (WIP) discussion: https://forum.armbian.com/topic/5086-h3h5a64-drm-display-driver/

was added to Armbian from branches in Jernej's repo: https://github.com/jernejsk/linux-1/

 

 

Thanks!