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 <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>
---
 scripts/disk_image | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'scripts/disk_image')

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