* Alessio Igor Bogani <[EMAIL PROTECTED]> wrote:
> With this trivial patch i can compile kernel successfully:
>
> --- intel.c.orig 2007-01-22 11:03:06.000000000 +0100
> +++ intel.c 2007-01-22 11:03:36.000000000 +0100
> @@ -6,6 +6,7 @@
> #include <linux/smp.h>
> #include <linux/thread_info.h>
> #include <linux/module.h>
> +#include <linux/paravirt.h>
>
> #include <asm/processor.h>
> #include <asm/msr.h>
>
> But i don't know if it is the best way to resolve this problem.
that's the best way i think - i've applied your patch.
Ingo
-
To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html