We have a Dell PowerEdge 2850 server that we're looking to do run some virtual servers on. Based on our research Xenserver is the best fit for our business needs. The 2850 supports a 64bit OS, but doesn't seem to support hardware virtualization. I thought all 64bit chips support hardware virtualization? Is there a bios upgrade or something I can do to get Xenserver working?