On 02/26/2014 06:03 PM, Matthew Garrett wrote
Could you clarify what the HDMI mux is for? Is there any method in the HDMI WMI call to determine whether it's supported rather than relying on DMI? (I appreciate that in this kind of case there may not be)
The HDMI mux will control what's displayed on the HDMI output port. It can toggle between an HDMI input device and the system's standard video output. Since the same GUID and WMI method are used both on platforms that support HDMI mux as well as platforms that support just lighting control I don't think it will be possible to determine if it's supported. You could possibly make a WMI call and attempting to toggle or query, however the behavior is undefined for those arguments on firmware for other systems. While I was initially putting this driver together I made mistakes with the arguments early on that caused very colorful corruption all over the display, so I think it would be better to restrict it by DMI data if possible. -- To unsubscribe from this list: send the line "unsubscribe platform-driver-x86" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
