The two on Thursday showed how a virtual machine could be migrated from a dual-socket Intel Xeon DP Quad Core E5420-based physical server to a physical server based on the AMD Barcelona processor.