Hi, today's Xen RPM is broken, in that it doesn't boot on SMP systems and/or systems with HT CPUs. The obvious workaround is to boot xen with 'nosmp'. I'll try to get the bug sorted out with the upstream Xen maintainers. -- "Debugging is twice as hard as writing the code in the first place. Therefore, if you write the code as cleverly as possible, you are, by definition, not smart enough to debug it." - Brian W. Kernighan
