luutifa

Thanks!

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

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.