* 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

Reply via email to