Скоро будет выпущен Raspberry Pi, он будет поддерживать HDMI и воспроизведение HD видео.
В Яндекс.Маркете можно найти
дешевые материнки, в которых есть HDMI. Вместе с процессором (если тоже дешевый выбирать) стоимость должна составить в пределах 3-4 тыс. рублей. Или взять
что-нибудь уже готовое, типа
ZOTAC IONITX-B-E или
ZOTAC NM10-F-E (с Wi-Fi). Если сделать загрузку с терминального сервера или просто с флешки, то работать будет более-менее. Если будете использовать винду и она будет тормозить, можно попробовать выводить видео из того же дебиана с mplayer через framebuffer (куча ограничений, но зато быстрее работать будет всяко разно).
Еще можно просто прокинуть кабели (VGA или S-Video, плюс звук) от какого-нибудь компьютера до плазмы и запустить там видео как на втором мониторе.