Hello Stefano, I'm really glad to see this series.
In the list of platform-specific bits you are trying to make selectable, you missed platform support code itself. Moreover, as it is said in your follow-up emails, set of UART, IOMMU, GIC is defined by SoC family. So wouldn't it be more natural to introduce platform configs which would couple specific drivers support? With a special platform i.e. "other" which enables all drivers and platform code.
-- *Andrii Anisov* _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
