This is related to my problem: Mainline-Kernel not booting
@mo123 could help! can I somehow bring a kernel to my debian with these changes already integrated? Or can somebody make a ready debian image to install on my Rock Pi 4B?
The hardware support in Debian is great, with graphics card recognition in chromium, etc, however, I badly need to get the CEC working too!
Thanks for any pointers or ideas how to bring this forward!