Kernel name: kernel_intel built on: May 11 2001 15:40:59 version 0xf4249
1 (unknown) revision 0f27 running at 2035MHz (ID: 0x00000000 0x00000000)
CPU #0: GenuineIntel
	type 0, family 15, model 2, stepping 7, features 0xbfebfbff
	Unknown cache descriptor 0x51
	Unknown cache descriptor 0x5b
	Unknown cache descriptor 0x66
	No L2 Cache
	Unknown cache descriptor 0x70
	Unknown cache descriptor 0x3b

426577920 bytes free      (used/max 110292992 / 536870912)
   61809 semaphores free (used/max     3727 /    65536)
    3977 threads free    (used/max      119 /     4096)
    1005 teams free      (used/max       19 /     1024)