No, they are kernel headers, and belong in the same package where the other kernel headers come from. In your case the build against the kernel headers failed because they needed a patch from upstream, which the latest kernel already has.
-- [Jaunty] trying to overwrite `/usr/include/drm/drm_sarea.h', which is also in package libdrm-dev https://bugs.launchpad.net/bugs/308387 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
