通过WiFi将HDMI流式传输到Android

Question

我正在寻找开发一款可以通过HDMI视频源通过Wifi观看视频流的Android应用。我知道我需要某种流媒体设备来传输HDMI视频，但我不确定我需要什么。

在Android上查看理想的流媒体协议是什么？有没有人知道解决这个问题的设备？

编辑：我一直在看Teradek的产品，看起来他们可能会完成我想要的产品。