Si miras en la sección de usb veras todos los que son compatibles con OpenSPA. (pica aquí con el ratón).
No solo con el deco que tienes, eso es independiente y no tiene importancias.
Como el deco es 4K, interesan los modelos que soporten canales TDT2 (DVB-T2) para ver en un futuro y ahora las emisiones en 4K (UHD) de TVE.
.