Le Wed, 04 Apr 2007 00:19:15 +0100, Sergio Monteiro Basto <sergio@xxxxxxxxxxxxxxxxxx> a écrit : > On Sat, 2007-03-31 at 12:15 +0200, Dominique Michel wrote: > > > > > My problem is at I really want to use CONFIG_X86_PM_TIMER in the ACPI > > config. > > > > Cheers, > > Dominique > > > you should put all this information on bugzilla > http://bugzilla.kernel.org/enter_bug.cgi?product=Platform%20Specific%2FHardware > It is here: http://bugzilla.kernel.org/show_bug.cgi?id=8300 Cheers, Dominique - To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html