ts-xen-build: Enable ITS driver in Xen

The ITS driver was added in Xen 4.10 as a technical preview feature.
However, it is required in order to boot Xen as Thunder-X because
PCI devices don't support legacy interrupt.

So enable CONFIG_ITS in our Xen build.

Signed-off-by: Julien Grall <julien.grall@arm.com>

diff --git a/ts-xen-build b/ts-xen-build
index 6ddfc5332d8692e3edb1c398b679636516d8574a..1762cd613a770c3b53c2b197818b1e20cdc7962f 100755 (executable)
--- 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
                );