Kernel name: kernel_x86 built on: Sep 12 2009 17:45:45 version 0x1
2 Intel Core 2 Extreme, revision 467a running at 1994MHz (ID: 0x00000000 0x00000000)

CPU #0: "Pentium(R) Dual-Core CPU       T4200  @ 2.00GHz"
	Type 0, family 6, model 23, stepping 10, 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: 0x0400e39d
		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: 1024 KB, 4-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 0x78
	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: "Pentium(R) Dual-Core CPU       T4200  @ 2.00GHz"
	Type 0, family 6, model 23, stepping 10, 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: 0x0400e39d
		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: 1024 KB, 4-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 0x78
	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

1960247296 bytes free      (used/max  148172800 / 2108420096)
                           (cached     39927808)
    128780 semaphores free (used/max       2292 /     131072)
      3924 ports free      (used/max        172 /       4096)
      3932 threads free    (used/max        164 /       4096)
      2028 teams free      (used/max         20 /       2048)