xfhjk

I do get 4K 60Hz output via HDMI on NanoPC T4 but only with Android. I haven't tried with NanoPi M4 but it is supported and should work with NanoPi M4 too. Displayport over USB-C also works on the T4, although again only with Android. In the hope it will be useful, I have extracted the device tree Android is using on NanoPC T4. Android Kernel version is "Linux localhost 4.4.126 #2 SMP PREEMPT Fri Mar 15 15:47:49 CST 2019 aarch64". nanopc-t4-dts

Thank you very much for looking into this and making that asound.state above. However, is that the right patch? It was was included, but it looks like some unrelated changes are in there too, like (if I'm reading it right) disabling the FIQ debug port? https://github.com/armbian/build/commit/fa78fdfbc74d6abfb8e16475b474e1f5eb472bb2#diff-21bb4eb457b6fafdb9c183440b888782