android - 获取 HDMI EDID 数据

Question

我正在开发一个应用程序，它使用 MHL 适配器将自身镜像到任何连接的 HDMI 显示器。问题是我需要获取显示器数据，如制造商、序列号、分辨率、屏幕尺寸等，如果它真的在显示我的内容或者它只是在另一个 HDMI 输入上。