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 | |
| 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>
| -rw-r--r-- | README.md | 4 | ||||
| -rwxr-xr-x | scripts/disk_image | 5 |
2 files changed, 9 insertions, 0 deletions
@@ -203,6 +203,10 @@ Where: - DOMU_CPUPOOL[number] specifies the id of the cpupool (created using CPUPOOL[number] option, where number == id) that will be assigned to domU. +- DOMU_DRIVER_DOMAIN[number] if set to 1 the domain is a driver domain. + Set driver_domain in xl config file. This option is only available for + the disk_image script. + - LINUX is optional but specifies the Linux kernel for when Xen is NOT used. To enable this set any LINUX\_\* variables and do NOT set the XEN variable. 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]}" |