[00:24] <pkern> RAOF: Just sayin', because DP -> DVI is usually a HDMI -> DVI with a DP connector.
[00:25] <RAOF> Yeah, but it's plugged in to an honest-to-god HDMI port. The mini-DP port has a DP output plugged into it.
[15:17] <awe_> mlankhor1t, ogra sent me your way to ask about a problem I'm having building the touch/phablet/emulator code on 14.04 ( can't find -lGL ).  Is this something you could help with?