Is there a way to retrieve EDID data from displays other than the default one using ioctl(WSDISPLAYIO_GET_EDID) ?
On my Asus X202E laptop with 3 physical outputs (LVDS, VGA, HDMI) the ioctl gets the EDID only of the LVDS panel. This is for situations where X is not running/can't run and xrandr unavailable. -RVP
