I’ve created linux-headers-3.8.13-bone47_1.0cross_armhf.deb using Robert Nelson’s “build_deb.sh” script here.
Unfortunately, this deb is missing an include file: mach/timex.h.
For the 3.2 kernel, the headers were contained in the following debs:
But I only have this deb:
So how would I create linux-headers-3.8.13-common ? I think the file I need would be in there.