diff -r 2f83ff9f6bd2 tools/python/xen/xend/XendDomainInfo.py
--- a/tools/python/xen/xend/XendDomainInfo.py	Thu Sep 22 17:03:16 2005
+++ b/tools/python/xen/xend/XendDomainInfo.py	Thu Sep 22 13:03:39 2005
@@ -225,6 +225,18 @@
         result['cpu_weight']   = get_cfg('cpu_weight', float)
         result['bootloader']   = get_cfg('bootloader')
         result['restart_mode'] = get_cfg('restart')
+ 
+        if not result['name']:
+            raise XendError("Invalid configuration: domain name is undefined.")
+
+        if not result['ssidref']:
+            result['ssidref'] = 0
+
+        if not result['memory']:
+            result['memory'] = 128
+
+        if not result['cpu']:
+            result['cpu'] = -1
 
         try:
             imagecfg = get_cfg('image')