diff options
author | Andrea Stevanato | 2022-11-24 16:19:57 +0100 |
---|---|---|
committer | Stefano Stabellini | 2022-12-09 15:13:42 -0800 |
commit | 87c8ca0384168db25ec89f1c8f18cbe43d2b83d2 (patch) | |
tree | 24aea1520ef8c6d84c41dabe62ca4e5de7b06b24 /scripts/disk_image | |
parent | 7b91dd6313163d309e61060b26e67b2c06585092 (diff) |
Added the option to specify whether the unprivileged domain is a
driver domain.
Signed-off-by: Andrea Stevanato <andrea.stevanato@santannapisa.it>
[stefano: expand comment, code style fix]
Signed-off-by: Stefano Stabellini <stefano.stabellini@amd.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
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]}" |