I bought a recycled HP x4000 Workstation with dual Intel Xeon processors and Intel 860 Chipset. (Came with no manuals or any software.) It has both 32bit PCI slots and 64bit PCI slots. Is this a 64bit system? Or is it a 32bit system with some 64bit PCI slots? I'm currently using an SMP 32bit kernel with DeMuDi to utilize the full capability of this workstation. Could I be using a 64bit SMP kernel instead? And if so, where would I find such a kernel? Thank you, Stephen.
