diff options
Diffstat (limited to 'scripts/disk_image')
-rwxr-xr-x | scripts/disk_image | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/disk_image b/scripts/disk_image index 97e798f..07245f9 100755 --- a/scripts/disk_image +++ b/scripts/disk_image @@ -396,6 +396,11 @@ function generate_domU_configs() echo "memory=${DOMU_MEM[$i]}" >> $dest echo "vcpus=${DOMU_VCPUS[$i]}" >> $dest + if test "${DOMU_DRIVER_DOMAIN[$i]}" + then + echo "driver_domain=${DOMU_DRIVER_DOMAIN[$i]}" >> $dest + fi + echo "# mount $first_part /boot" >> $dest echo "kernel=\"/boot/${DOMU_KERNEL[$i]}\"" >> $dest if test "${DOMU_RAMDISK[$i]}" |