Message ID | 20190410142408.22848-34-ian.jackson@eu.citrix.com |
---|---|
State | New |
Headers | show |
Series | None | expand |
diff --git a/ts-xen-build b/ts-xen-build index 6ddfc533..1762cd61 100755 --- a/ts-xen-build +++ b/ts-xen-build @@ -128,6 +128,10 @@ END echo >>xen/.config CONFIG_EXPERT=y echo >>xen/.config CONFIG_HVM_FEP=y echo >>xen/.config CONFIG_VERBOSE_DEBUG=y + # ITS driver is required to boot the Hardware Domain + # on Xen. For now (Xen 4.10/4.11 at at least), + # will be not built by default and gated by expert mode + echo >>xen/.config CONFIG_HAS_ITS=y fi END );