Actually, it's mesa-10.0.1 Note that in both cases, dmesgs show "HDMI: invalid ELD data byte 0" whereas I'm using a regular VGA cable. Also r600 seems to regularly freeze Xorg for a couple seconds (up to ~1mn) from time to times.