I've tried replacing the monitor (HP sent me a replacement) as well as cables, and the HP DisplayPort-to-dual-link-DVI-adapter used in my setup.
The X201 has a core i5 CPU with integrated Intel HD graphics (which also drives the DisplayPort output on the dockingstation.
I use Debian GNU/Linux "sid" 64bit and have had the best result using the stock Debian kernel.
As can be seen from the dmesg output there is a problem with parsing the EDID info coming from the monitor. Looking a bit closer it seems all bytes are repeated 4 times: HHHHPPPP and so on.
So I thought I might be able to help solving this problem, but where to start? I did know that grepping kernel sources would be a start but I think the article is really good because now I feel more "safe" posting an email to the relevant people and mailing list :-)
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds