Kernel name: kernel_x86 built on: Oct 6 2009 16:03:09 version 0x1 1 Intel Core 2 Extreme, revision 467a running at 2340MHz (ID: 0x00000000 0x00000000) CPU #0: GenuineIntel Type 0, family 6, model 23, stepping 10, features 0x078bf3ff FPU VME DE PSE TSC MSR PAE MCE CX8 APIC MTRR PGE MCA CMOV PAT PSE36 CFLUSH MMX FXSTR SSE SSE2 Extended Intel: 0x00000009 SSE3 MONITOR 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 442793984 bytes free (used/max 94011392 / 536805376) (cached 53854208) 64167 semaphores free (used/max 1369 / 65536) 3958 ports free (used/max 138 / 4096) 3979 threads free (used/max 117 / 4096) 2030 teams free (used/max 18 / 2048)