Tom Spindler <dogcow@babymeat.com> writes:

>> > As someone said in another message, you have broken firmware and will need 
>> > to patch it.
>> 
>> Is it possible to patch an ACPI firmware ?!
>> 
>> Or you mean patch the sources ?
>
> See ACPI_DSDT_OVERRIDE and ACPI_DSDT_FILE="filename" in `man 4
> acpi`.

Unfortunately, I did not add them to the man page when I defflag
them... Sorry :-/

-- 
  Rui Paulo			<rpaulo@{NetBSD{,-PT}.org,fnop.net}>