On Sat, Jan 12, 2013 at 7:16 AM, Frank Murphy <frankly3d@xxxxxxxxx> wrote:
> what the error message says is that it could not find the kernelThis is where the headers should go: 32bit
> headers for kernel 3.7.1-5. I know that they were installed. So
> where are the kernel header file if in fact it was installed.
http://koji.fedoraproject.org/koji/rpminfo?rpmID=3612780
64 bit:
http://koji.fedoraproject.org/koji/rpminfo?rpmID=3612758
if you have those files,
then the kernel is most likely not your problem.
I've not tried with the latest f18 kernel, but I think the kernel-devel rpm package is required to compile third party kernel modules with shims and whatnot.
Maybe you need to install the correct kernel-devel rpm to match the kernel rpm and that will fix the problems?
Cheers,
-- test mailing list test@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe: https://admin.fedoraproject.org/mailman/listinfo/test