kernel="/usr/local/lib/xen/boot/vtpmmgr-stubdom.gz" memory=16 disk=["file:/var/xen/vtpmmgr-stubdom.img,hda,w"] name="vtpmmgr" iomem=["fed40,5"]