Clarifications on ACPI driver

Andrea Venturoli ml at
Wed Feb 4 17:59:24 UTC 2015


I read in the handbook (12.13.1) "the acpi(4) driver is loaded by 
default at system boot and should *not* be compiled into the kernel".

Yet I see "device acpi" in GENERIC.

Aren't those two things in contrast?

Is the information in the handbook outdated? Wrong?
Does it mean something different to what I believe it means?

What is "options         ACPI_DMAR"? What does it do?

Is it ok to add "device		acpi_video" to a kernel config?

  bye & Thanks

More information about the freebsd-questions mailing list