From 648a85038f7673d028cd9d345db9192d1cb62915 Mon Sep 17 00:00:00 2001 From: Stefano Stabellini Date: Thu, 28 Jul 2022 16:50:31 -0700 Subject: Add a DOMU_ENHANCED config option The new option allows to disable "xen,enhanced" for individual domUs. Useful to boot old unpatched kernels. Signed-off-by: Stefano Stabellini --- scripts/uboot-script-gen | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') diff --git a/scripts/uboot-script-gen b/scripts/uboot-script-gen index 995798d..18c0ce1 100755 --- a/scripts/uboot-script-gen +++ b/scripts/uboot-script-gen @@ -222,7 +222,7 @@ function xen_device_tree_editing() dt_set "/chosen/domU$i" "direct-map" "bool" "${DOMU_DIRECT_MAP[$i]}" fi dt_set "/chosen/domU$i" "vpl011" "hex" "0x1" - if test "$DOM0_KERNEL" + if [[ "${DOMU_ENHANCED[$i]}" == 1 || ("$DOM0_KERNEL" && "${DOMU_ENHANCED[$i]}" != 0) ]] then dt_set "/chosen/domU$i" "xen,enhanced" "str" "enabled" fi -- cgit v1.2.3