> I've got some machines at work that have 4 dual core CPU's (cpuinfo
>  shows 8 cpu's) running 32 bit Linux so it's not that wierd.

We have quite a few dual quad-core cpu boxes at work too.

Reply via email to