¿Alguien me recomienda algún deco Linux que tenga el tarjetero para la gris y que no de problemas con iks mirando a hispasat.?

Gracias.