From 87c8ca0384168db25ec89f1c8f18cbe43d2b83d2 Mon Sep 17 00:00:00 2001 From: Andrea Stevanato Date: Thu, 24 Nov 2022 16:19:57 +0100 Subject: domU driver domain option Added the option to specify whether the unprivileged domain is a driver domain. Signed-off-by: Andrea Stevanato [stefano: expand comment, code style fix] Signed-off-by: Stefano Stabellini Reviewed-by: Stefano Stabellini --- README.md | 4 ++++ scripts/disk_image | 5 +++++ 2 files changed, 9 insertions(+) diff --git a/README.md b/README.md index f4213d5..cb0cb13 100644 --- a/README.md +++ b/README.md @@ -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]}" -- cgit v1.2.3