Kernel name: kernel_x86 built on: Sep  4 2009 00:07:04 version 0x1
2 Intel Core 2, revision 06f6 running at 2128MHz (ID: 0x00000000 0x00000000)

CPU #0: "Intel(R) Core(TM)2 CPU          6400  @ 2.13GHz"
	Type 0, family 6, model 15, stepping 6, features 0xbfebfbff
		FPU VME DE PSE TSC MSR PAE MCE CX8 APIC SEP MTRR PGE MCA CMOV PAT
		PSE36 CFLUSH DS ACPI MMX FXSTR SSE SSE2 SS HTT TM PBE
	Extended Intel: 0x0000e3bd
		SSE3 MONITOR DS-CPL EST TM2 CMPXCHG16B
	Extended AMD: type 0, family 0, model 0, stepping 0, features 0x20100000
		NX 64
	Power Management Features:

	L2 Data cache 8-way set associative, 1 lines/tag, 64 bytes/line
	L2 cache: 2048 KB, 8-way set associative, 0 lines/tag, 64 bytes/line

	Inst TLB: 2M-bytes pages, 4-way set associative, 8 entries OR 4M, 4-way, 4 entries
	Inst TLB: 4K-bytes pages, 4-way set associative, 128 entries
	Data TLB: 4M-byte pages, 4-way set associative, 32 entries
	64-byte Prefetching
	L1 Data TLB: 4K-bytes pages, 4-way set associative, 16 entries
	L1 Data TLB: 4M-bytes pages, 4-way set associative, 16 entries
	Unknown cache descriptor 0x7d
	L1 inst cache: 32 KB, 8-way set associative, 64 bytes/line
	Data TLB: 4K-bytes pages, 4-way set associative, 256 entries
	L1 data cache: 32 KB, 8-way set associative, 64 bytes/line

CPU #1: "Intel(R) Core(TM)2 CPU          6400  @ 2.13GHz"
	Type 0, family 6, model 15, stepping 6, features 0xbfebfbff
		FPU VME DE PSE TSC MSR PAE MCE CX8 APIC SEP MTRR PGE MCA CMOV PAT
		PSE36 CFLUSH DS ACPI MMX FXSTR SSE SSE2 SS HTT TM PBE
	Extended Intel: 0x0000e3bd
		SSE3 MONITOR DS-CPL EST TM2 CMPXCHG16B
	Extended AMD: type 0, family 0, model 0, stepping 0, features 0x20100000
		NX 64
	Power Management Features:

	L2 Inst cache 8-way set associative, 1 lines/tag, 64 bytes/line
	L2 cache: 2048 KB, 8-way set associative, 0 lines/tag, 64 bytes/line

	Inst TLB: 2M-bytes pages, 4-way set associative, 8 entries OR 4M, 4-way, 4 entries
	Inst TLB: 4K-bytes pages, 4-way set associative, 128 entries
	Data TLB: 4M-byte pages, 4-way set associative, 32 entries
	64-byte Prefetching
	L1 Data TLB: 4K-bytes pages, 4-way set associative, 16 entries
	L1 Data TLB: 4M-bytes pages, 4-way set associative, 16 entries
	Unknown cache descriptor 0x7d
	L1 inst cache: 32 KB, 8-way set associative, 64 bytes/line
	Data TLB: 4K-bytes pages, 4-way set associative, 256 entries
	L1 data cache: 32 KB, 8-way set associative, 64 bytes/line

1998536704 bytes free      (used/max  147767296 / 2146304000)
                           (cached     35635200)
    129300 semaphores free (used/max       1772 /     131072)
      3978 ports free      (used/max        118 /       4096)
      3983 threads free    (used/max        113 /       4096)
      2037 teams free      (used/max         11 /       2048)