Respondiendo AL PRIMER POST, y sí, he leido que alguien le decía que sí, que existe. Yo conozco el lightberry, hay varias versiones, y si pasas de "hacerlo tu mismo" puede que sea la mejor solución. Tiene varias versiones, una de ellas para la raspberry, y otra para cualquier fuente HDMI, ademas de alguna otra para señal de video RCA. la página oficial está en ingles, pero este distribuidor es español, y si lo vende digo yo que responderá dudas de instalación.