--- src/sys/config/LINT 2007/11/07 09:19:58 1.138 +++ src/sys/config/LINT 2007/11/07 17:42:50 1.139 @@ -116,7 +116,7 @@ options ROOTDEVNAME=\"ufs:da0s2e\" # # An SMP kernel will ONLY run on an Intel MP spec. qualified motherboard. # -# Be sure to disable 'cpu I386_CPU' && 'cpu I486_CPU' for SMP kernels. +# Be sure to disable 'cpu I486_CPU' for SMP kernels. # # Check the 'Rogue SMP hardware' section to see if additional options # are required by your hardware. @@ -143,10 +143,8 @@ options APIC_IO # Symmetric (APIC) I/ # # You must specify at least one CPU (the one you intend to run on); # deleting the specification for CPUs you don't need to use may make -# parts of the system run faster. This is especially true removing -# I386_CPU. +# parts of the system run faster. # -cpu I386_CPU cpu I486_CPU cpu I586_CPU # aka Pentium(tm) cpu I686_CPU # aka Pentium Pro(tm)