Для любителей решений FPGA (4k LUTs) + ARM Cortex-M3 + PSRAM 64Mbit + HDMI трансивер есть дешево и сердито от китайцев:

* Gowin GW1NSR-4C:
https://www.gowinsemi.com/en/product/detail/2/


* Sipeed Tang Nano 4K board

https://www.aliexpress.com/item/1005...%3A%22-1%22%7D