kernel="/home/konrad/git/xtt/bootstrap/dist/common/vmlinuz" ramdisk="/home/konrad/git/xtt/bootstrap/dist/common/initramfs.cpio.gz" extra="inittab=/etc/inittab-xen console=hvc0 debug iommu=soft" memory=1024 vcpus=4 vif = [ 'mac=00:0f:4b:00:00:68, bridge=switch' ] pci= ["0000:03:00.0","00:1d.0","00:1d.1","00:1d.2","00:1d.7"]