> > I know we have our custom kernel, but we publish a > kernel-devel package too? > > Where is it? > > Here: http://dev.laptop.org/~kernels/public_rpms/f17-xo1.75/ > > Cheers, > Niels Any progress in building/publishing kernel-headers for the ARM as with the x86 kernels? Thx