You know, I thought the same thing. But apparently kernel headers for the kernel and kernel headers for "the user" are different, not really sure how they get generated but apparently they are supposed to end up in the linux-libc-dev package. Trying to compile my test program while including the above directory yield the helpful error message:
/usr/src/linux-headers-3.0.0-12-generic/include/linux/types.h:13:2: warning: #warning "Attempt to use kernel headers from user space, see http://kernelnewbies.org/KernelHeaders"; [-Wcpp] -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/902993 Title: hrtimer.h is missing To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/902993/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
