Existen aparatos, para hacer streaming de la salida del hdmi.
Aunque son caros, otros incluso pueden pasar por streaming el bluettoth.
Es la otra opción posible que habría.
Hay otros mas economicos, que mandan por wifi la señal a otro aparato y este lo conectas a una television, en la salida que da hdmi. Aunque creo que esto es algo mas local que para streaming de internet.