Задача - стримить видео (обложив его своим контентом), поступающее на вход HDMI, выводя на HDMI же. Ищу устройство, чем меньше по размеру, тем лучше, в идеале под linux.
Вроде такого Artigo A900, но там древний андройд, что слегка напрягает.
Отдельное спасибо тому, кто сможет что-нибудь рассказать про HDCP (защита цифрового контента) - в смысле, что сделать, чтобы легально можно было его через этот mini-pc прогнать.