Receptor Linux

[gelbros]

Hola, estoy buscando un DECO que sea Linux, que entiendo que es lo mejor, necesito que tenga una buena guía EPG y que tenga disco duro para hacer grabaciones.
Partiendo de esto, estoy entre estos:
-VU+ Zero 4k
-GigaBlue UHD UE 4K
-Dreambox One Ultra HD

Cual de estos es el mejor?? y porque??. Si no es de estos cual otro me recomendáis que cumpla lo que os digo mas arriba
Gracias a todos y espero vuestros consejos