Hi,
On 04/23/2018 07:30 PM, Andrii Anisov wrote:
On 19.04.18 01:15, Stefano Stabellini wrote:
+#
+# Device Drivers
+#
+# CONFIG_HAS_NS16550 is not set
+# CONFIG_HAS_CADENCE_UART is not set
+# CONFIG_HAS_MVEBU is not set
+# CONFIG_HAS_PL011 is not set
+CONFIG_HAS_SCIF=y
+# CONFIG_HAS_EHCI is not set
+CONFIG_HAS_PASSTHROUGH=y
IMHO, no passthrough support until IPMMU driver upstreamed.
You can't unselect HAS_PASSTHROUGH support. Given that you are going to
have passthrough in the future, I don't much see the point to try to
allow that option to be disabled.
Cheers,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
