Clarifications on ACPI driver

[Andrea Venturoli]

On 02/04/15 21:50, Michael Powell wrote:
> Andrea Venturoli wrote:
>
>> 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.
>
> This is only so for the 32-bit i386 build. You will not see this in the 64-
> bit x86_64 build.

Uh???

> # cd /usr/src/
> # svn update
> Updating '.':
> At revision 278542.
> # svn status
> # svn info
> Path: .
> Working Copy Root Path: /usr/src
> URL: https://svn0.eu.freebsd.org/base/releng/10.1
> Relative URL: ^/releng/10.1
> Repository Root: https://svn0.eu.freebsd.org/base
> Repository UUID: ccf9f872-aa2e-dd11-9fc8-001c23d0bc1f
> Revision: 278542
> Node Kind: directory
> Schedule: normal
> Last Changed Author: delphij
> Last Changed Rev: 277808
> Last Changed Date: 2015-01-27 20:37:02 +0100 (Tue, 27 Jan 2015)
>
> # grep -i acpi sys/i386/conf/GENERIC
> device          acpi
> # grep -i acpi sys/amd64/conf/GENERIC
> device          acpi
> options         ACPI_DMAR
> #

As you can see "device acpi" is present in both i386's and amd64's GENERIC.

  bye & Thanks
	av.