diff options
-rw-r--r-- | README.md | 4 | ||||
-rwxr-xr-x | scripts/uboot-script-gen | 2 |
2 files changed, 5 insertions, 1 deletions
@@ -177,6 +177,10 @@ Where: If set to 1, the VM is direct mapped. The default is 1. This is only applicable when DOMU_STATIC_MEM is specified. +- DOMU_ENHANCED[number] can be set to 1 or 0, default is 1 when Dom0 is + present. If set to 1, the VM can use PV drivers. Older Linux kernels + might break. + - 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/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 |