> Enabling debugging in the ACPI subsystem will certainly give this
> information. AcpiDebugLevel = 0x00FFFFFF works nicely, although
> a lot of trace info is produced.

There is no AcpiDebugLevel in the Linux kernel.  I did find a
variable "acpidbg_level" ... so I set CONFIG_ACPI_DEBUG=y and
added
        acpi_dbg_level = 0x00FFFFFF;
at the start of init/main.c/start_kernel()

But then my system didn't boot at all :-(

Tried again w/o the "acpi_dbg_level = 0x00FFFFFF;", and that didn't
boot either.  So there is something bad in the CONFIG_ACPI_DEBUG
code.

-Tony
-
To unsubscribe from this list: send the line "unsubscribe linux-acpi" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to