diff options
| author | Stefano Stabellini | 2022-07-28 16:50:31 -0700 |
|---|---|---|
| committer | Stefano Stabellini | 2022-07-28 16:50:31 -0700 |
| commit | 648a85038f7673d028cd9d345db9192d1cb62915 (patch) | |
| tree | b0e1acf960d3388e899d03b72683bcc494b7c62f /scripts | |
| parent | 9136d01782341841796e3bb2b335dea752dc1863 (diff) | |
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 <stefano.stabellini@amd.com>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/uboot-script-gen | 2 |
1 files changed, 1 insertions, 1 deletions
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 |