HP nx6125

[Hans du Plooy <koffiejunkielistlurker@koffiejunkie.za.net>]

Hi guys,

I've had this notebook for more than a year now, and I'm still battling
with it's ACPI.  The biggest problem is that the fan control is
irregular.  Trip points are reached or exceeded, and acpi -t shows the
correct temperature and that the fan is on, but the fan isn't.

There is an entry in bugzilla:
http://bugzilla.kernel.org/show_bug.cgi?id=5534

Now, from what I understand, a large part of the problem is the DSDT.
If I can get a fixed one loaded into my kernel, it should solve the
worst of my problems.   Comment #197 has a fixed DSDT for the current
bios, but I'm having no luck getting this compiled.

iasl -dc dsdt.dsl gives me no errors, but the resulting dsdt.aml is 0
bytes...

Newer kernels compiled from source is also not giving me too much joy.

Is anyone running Debian on this notebook?  I'm running Etch i386

Thanks
Hans