I'm trying to understand how to properly select ACPI-related options when 
building a kernel to take advantage of Pentium 4 hyperthreading.

I've experimented, using settings gleaned from the mail archives, and
have 2.0 kernels that work without obvious problems.
   http://mail-index.netbsd.org/current-users/2004/06/26/0012.html
   http://mail-index.netbsd.org/current-users/2004/06/28/0008.html

Can anyone suggest an overview document of either (or both) ACPI in 
general or/and the available options on NetBSD?

Thanks,
 	Cary Gray