diff options
Diffstat (limited to 'scripts/uboot-script-gen')
| -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 |