On 2011-07-25 16:55 +0200, José Silva wrote: > But how do I replace driver xserver-video-intel by > xserver-video-intel-dbg or is this not necessary? I've already > installed it with synaptics package manager. The -dbg packages do not replace their regular counterparts. They contain detached debugging symbols that gdb will automatically pick up, you don't need to do anything special to use them. Sven