The DEV_ACPI option is no longer used, so g/c it.

This commit is contained in:
John Baldwin 2003-12-10 19:30:42 +00:00
parent 62d1198ba5
commit d9feb22dbe

View File

@ -148,7 +148,6 @@ IPR_VJ opt_i4b.h
IPR_LOG opt_i4b.h
# Device options
DEV_ACPI opt_acpi.h
DEV_APIC opt_apic.h
DEV_NPX opt_npx.h