Исправление AnDoR, 27.07.20 12:30 (текущая версия) :
Как насчёт поддержки Orange Pi RK3399? В этой платке есть HDMI In в коробке.
Или вот есть готовое устройство Geniatech APC3399 на том же RK3399 и тоже с HDMI In.
Исходная версия AnDoR, 27.07.20 12:29: