On Sun, Feb 25, 2007 at 09:57:49PM +0100, Manuel Bouyer wrote:
[..]

> For the second issue I think we could have by default ACPI kernel enabled.
> Common cases are machines with working ACPI (and all is well) or machines
> without ACPI (and the kernel fall backs to pre-acpi config mechanims,
> having ACPI in kernel doesn't hurt). For the case where ACPI is present but
> nonworking, a
> boot -c
> disable acpi
> quit
> should work around it. There's also the ressource to boot a non-ACPI kernel
> (see below).

Which will not work for an usb keyboard, because it won't work if the pckbd
driver is in the kernel :(

Bernd

P.S: There is no need to include me in replies, because I'm subscribed to these lists.