Re: psm(4) doesn't work with custom kernel config

On Feb 25 at 19:43 +0100, Jeremie Le Hen wrote:
> On Fri, Feb 23, 2007 at 02:49:17AM -0500, Andre Guibert de Bruet wrote:
> > Try booting with ACPI disabled. Something does not appear sane with  
> > your ACPI config using your custom kernel:
> > acpi: bad write to port 0x080 (32), val 0xaa
> 
> Indeed, removing device acpi from my custom kernel config file resolves
> the problem.  However, if I enable option SMP along ACPI, psm(4) works.

I just had a similar problem on a ThinkPad R52. Adding:
    device acpi_ibm
to the kernel config breaks the psm;

but putting:
    acpi_ibm_load="YES"
in /boot/loader.conf works.

I don't know why. Perhaps something similar would work with the base
acpi driver?

Tim.