On Thu, 9 Mar 2006, Steven M. Bellovin wrote:
> Btw -- is there any way to work around the buggy firmware?  Thinkpads
> are among the most common laptops.

Yes, from sys/dev/acpi/acpica/Osd/OsdMisc.c:

/*
  * for debugging DSDT (try this at your own risk!):
  *
  * 1. dump your raw DSDT (with acpidump(*1) etc.)
  * 2. disassemble with iasl -d (*2)
  * 3. modify the ASL file
  * 4. compile it with iasl -tc
  * 5. copy *.hex to /sys/dev/acpi/acpica/Osd/dsdt.hex
  *    -or-
  *    options ACPI_DSDT_FILE="\"yourdsdt.hex\"" in
  *    your config file and yourdsdt.hex in the build directory
  * 6. uncomment ACPI_DEDT_OVERRIDE or options ACPI_DSDT_OVERRIDE
  *    in your kernel config file and rebuild the kernel
  *
  * (*1) /usr/pkgsrc/sysutils/acpidump
  * (*2) /usr/pkgsrc/sysutils/acpi-iasl
  */

Cheers,
Jared