Clarifications on ACPI driver

[R0B_ROD]

On Tue, Feb 10, 2015 at 11:55:31PM +0100, Andrea Venturoli wrote:
> 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.

I have built 6 kernels with 'device acpi' on AMD64 E-300 HP 2000-2b19WM
all have worked fine. Its like you said it was in GENERIC.
I use FreeBSD 10.1-STABLE.

;)