Clarifications on ACPI driver

[Andrea Venturoli]

Hello.

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
	av.