Kernel name: kernel_x86 built on: Mar 11 2009 08:22:16 version 0x1
1 Intel Core 2 Extreme, revision 467a running at 3332MHz (ID: 0x00000000 0x00000000)

CPU #0: "Intel(R) Core(TM)2 Duo CPU     E8600  @ 3.33GHz"
	Type 0, family 6, model 7, stepping 10, features 0x0febfbff
		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
	Extended Intel: 0x00082201
		SSE3 CMPXCHG16B
	Extended AMD: type 0, family 0, model 0, stepping 0, features 0x20100000
		NX 64
	Power Management Features:

	L1 inst cache: 0 KB, 0-way set associative, 0 lines/tag, 0 bytes/line
	L1 data cache: 0 KB, 0-way set associative, 0 lines/tag, 0 bytes/line
	L2 cache: 6144 KB, 16-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
	L2 cache: 6144 KB, 24-way set associative, 64 bytes/line
	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

 974872576 bytes free      (used/max   98869248 / 1073741824)
                           (cached     41238528)
    129741 semaphores free (used/max       1331 /     131072)
      3959 ports free      (used/max        137 /       4096)
      3988 threads free    (used/max        108 /       4096)
      2030 teams free      (used/max         18 /       2048)