Copyright (c) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
    2006, 2007
    The NetBSD Foundation, Inc.  All rights reserved.
Copyright (c) 1982, 1986, 1989, 1991, 1993
    The Regents of the University of California.  All rights reserved.

NetBSD 4.99.20 (GENERIC.LAPTOP) #1: Tue May 22 21:35:53 CST 2007
	abutter@abutter.foo.org:/usr/obj/sys/arch/amd64/compile/GENERIC.LAPTOP
total memory = 1014 MB
avail memory = 965 MB
timecounter: Timecounters tick every 10.000 msec
timecounter: Timecounter "i8254" frequency 1193182 Hz quality 100
mainbus0 (root)
cpu0 at mainbus0 apid 0: (boot processor)
cpu0: Intel(R) Core(TM)2 CPU         T5200  @ 1.60GHz, 1596.09 MHz
cpu0: features: bffbfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu0: features: bffbfbff<PGE,MCA,CMOV,PAT,PSE36,CFLUSH,B20,DS,ACPI,MMX>
cpu0: features: bffbfbff<FXSR,SSE,SSE2,SS,HTT,TM,SBF>
cpu0: features2: e39d<SSE3,MONITOR,DS-CPL,EST,TM2,xTPR>
cpu0: features2: e39d<SSE3,MONITOR,DS-CPL,EST,TM2,xTPR>
cpu0: L2 cache 2 MB 64B/line 8-way
cpu0: Intel(R) On Demand Clock Modulation (state disabled)
cpu0: calibrating local timer
cpu0: apic clock running at 133 MHz
cpu0: 64 page colors
cpu1 at mainbus0 apid 1: (application processor)
cpu1: Intel(R) Core(TM)2 CPU         T5200  @ 1.60GHz, 1596.00 MHz
cpu1: features: bffbfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu1: features: bffbfbff<PGE,MCA,CMOV,PAT,PSE36,CFLUSH,B20,DS,ACPI,MMX>
cpu1: features: bffbfbff<FXSR,SSE,SSE2,SS,HTT,TM,SBF>
cpu1: features2: e39d<SSE3,MONITOR,DS-CPL,EST,TM2,xTPR>
cpu1: features2: e39d<SSE3,MONITOR,DS-CPL,EST,TM2,xTPR>
cpu1: L2 cache 2 MB 64B/line 8-way
... ...

redundant, isn't it?