From: Wei Liu <wei.l...@citrix.com>

Empirically, on stretch armhf:

  drivers/gpu/host1x/cdma.c: In function `host1x_pushbuffer_init':
  drivers/gpu/host1x/cdma.c:94:48: error: passing argument 3 of `dma_alloc_wc' 
from incompatible pointer type [-Werror=incompatible-pointer-types]
     pb->mapped = dma_alloc_wc(host1x->dev, size, &pb->phys,
                                                  ^
etc.

This is blocking the upgrade of the Xen Project CI to Debian stretch
so disable it for now.

Signed-off-by: Wei Liu <wei.l...@citrix.com>
CC: Julien Grall <julien.gr...@arm.com>
CC: Stefano Stabellini <sstabell...@kernel.org>
CC: Thierry Reding <thierry.red...@gmail.com>
CC: dri-de...@lists.freedesktop.org
---
 ts-kernel-build | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ts-kernel-build b/ts-kernel-build
index 21b8f78a..0bc443de 100755
--- a/ts-kernel-build
+++ b/ts-kernel-build
@@ -594,6 +594,9 @@ case ${XEN_TARGET_ARCH} in
     *) ;;
 esac
 
+# Disable components that don't build
+setopt CONFIG_TEGRA_HOST1X n
+
 exit 0
 END
 }
-- 
2.11.0


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to