Re: Which kernel should I use on a Dual Processor 10 GB RAM Intel server?

[Oliver König <oliver@windfinder.com>]

/proc/cpuinfo lists 4 CPUs from 0 to 3:
server:/proc# cat /proc/cpuinfo
processor       : [0..3]
vendor_id       : GenuineIntel
cpu family      : 15
model           : 4
model name      : Intel(R) Xeon(TM) CPU 3.00GHz
stepping        : 3
cpu MHz         : 2992.804
cache size      : 16 KB
fdiv_bug        : no
hlt_bug         : no
f00f_bug        : no
coma_bug        : no
fpu             : yes
fpu_exception   : yes
cpuid level     : 5
wp              : yes
flags           : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca 
cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm pni monitor 
ds_cpl cid
bogomips        : 5976.88

Does that mean that I can or should use a 64 bit kernel?


On Friday 27 April 2007 01:50:41 Frederik Schueler wrote:
> this box should support a 64bit kernel, check /proc/cpuinfo for the lm
> flag.
>
> On Thu, Apr 26, 2007 at 11:34:32AM +0200, Oliver König wrote:
> > I have got a Dell Poweredge 2850 Rackserver with two 3.0 GHZ Xeon CPUs
> > and 10 GB of RAM running Debian Sarge and kernel 2.4.27 (SMP). The system
> > recognizes