On Fri, Jun 15, 2012 at 18:46:10 +0200, Robert Millan wrote: > In summary: none of this has anything to do with the kernel, it's a > pure userland issue. The problem is simply that libdrm-dev attempts > to use uintXX_t without including the header that provides them. > drm.h is a kernel header. It includes other kernel headers; <linux/types.h> on linux, <sys/types.h> on bsd. Cheers, Julien