Значит лучше брать ресивер на базе Linux.
Так же существенно повысить время переключение каналов поможет файл replace.list, верные настройки которого отфильтруют лишние запросы по ненужным нам идентам.
А это Dreambox, Tuxbox, IPBox, Sezam.
Какой по-дешевле найти с hdmi?
Что бы взять тогда по-дешевле