I just finished setting up Xen on sarge following the excellent howto done on this site (The Perfect Xen 3.0 Setup For Debian). I did the install on a dual Xeon HT machine, and I'm wondering if it's possible to enable SMP support with the default 2.6.12-xen0 kernel? (Only one of the processors is showing up in /proc/cpuinfo). I looked around menuconfig for linux-2.6.12-xen0 and didn't see any SMP options. I've done a bit of searching, and haven't found any concrete answer on how to make this work. From what I've seen, it looks possible to enable, but how I'm not sure. Anyone have experience with this?