On Tuesday 21 February 2006 17:19, Mauricio Lin wrote: > BTW, Is there any restriction about the version of kernel headers? Usually the kernel headers that user space uses are "sanitized" kernel headers and not the kernel's copy. For us, they are in the glibc-kernheaders package. I do not know how Debian does it...maybe someone else can help you. -Steve