[PATCH] vmx-device-models-py.patch

[Arun Sharma <arun.sharma@intel.com>]

Start device models for VMX domains. I'm not sure why the event channel port number is off by 1.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>

--- a/tools/python/xen/xend/image.py	Fri Jun 10 17:48:42 2005
+++ b/tools/python/xen/xend/image.py	Fri Jun 10 17:47:23 2005
@@ -1,10 +1,12 @@
-import os
+import os, string
 
 import xen.lowlevel.xc; xc = xen.lowlevel.xc.new()
 from xen.xend import sxp
 from xen.xend.XendError import VmError
 from xen.xend.XendLogging import log
 from xen.xend.xenstore import DBVar
+
+from xen.xend.server import channel
 
 class ImageHandler:
     """Abstract base class for image handlers.
@@ -303,7 +305,7 @@
                   + " -f %s" % device_config
                   + self.vncParams()
                   + " -d %d" % self.vm.getDomain()
-                  + " -p %d" % self.device_channel['port1']
+                  + " -p %d" % (int(self.device_channel.port1)-1)
                   + " -m %s" % self.vm.memory)
 
     def vncParams(self):
--- a/tools/python/xen/xend/XendDomainInfo.py	Fri Jun 10 17:48:42 2005
+++ b/tools/python/xen/xend/XendDomainInfo.py	Fri Jun 10 17:47:23 2005
@@ -701,6 +701,7 @@
                 ctrl.initController(reboot=True)
         else:
             self.create_configured_devices()
+        self.image.createDeviceModel()
 
     def device_create(self, dev_config):
         """Create a new device.