I was able to get the DK1 working using a hdmi -> regular displayport adapter for my Thinkpad X220 on Ubuntu 13.04