Kernel name: kernel_x86 built on: Jul  7 2008 16:18:11 version 0x1
2 Intel Pentium 4, revision 0f25 running at 2399MHz (ID: 0x00000000 0x00000000)

CPU #0: "Intel(R) Xeon(TM) CPU 2.40GHz"
	Type 0, family 15, model 2, stepping 5, 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: 0x00004400
		CNTXT-ID
	Extended AMD: type 0, family 0, model 0, stepping 0, features 0x00000000

	Inst TLB: 4K/4M/2M-bytes pages, fully associative, 128 entries
	Data TLB: 4K/4M-bytes pages, fully associative, 64 entries
	L1 data cache: 8 KB, 4-way set associative, 64 bytes/line, sectored
	No integrated L3 cache
	Inst trace cache: 12K µOPs, 8-way set associative
	L2 cache: 512 KB, 8-way set associative, 64 bytes/line, dual-sectored

CPU #1: "Intel(R) Xeon(TM) CPU 2.40GHz"
	Type 0, family 15, model 2, stepping 5, 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: 0x00004400
		CNTXT-ID
	Extended AMD: type 0, family 0, model 0, stepping 0, features 0x00000000

	Inst TLB: 4K/4M/2M-bytes pages, fully associative, 128 entries
	Data TLB: 4K/4M-bytes pages, fully associative, 64 entries
	L1 data cache: 8 KB, 4-way set associative, 64 bytes/line, sectored
	No integrated L3 cache
	Inst trace cache: 12K µOPs, 8-way set associative
	L2 cache: 512 KB, 8-way set associative, 64 bytes/line, dual-sectored

 902283264 bytes free      (used/max  170868736 / 1073152000)
                           (cached     50966528)
    128484 semaphores free (used/max       2588 /     131072)
      3904 ports free      (used/max        192 /       4096)
      3943 threads free    (used/max        153 /       4096)
      2030 teams free      (used/max         18 /       2048)