On Fri, Oct 13, 2023 at 05:00:14PM +0100, Joao Martins wrote: > > Later when the iommu drivers need it make some > > CONFIG_IOMMUFD_DRIVER_SUPPORT to build another module (that will be > > built in) and make the drivers that need it select it so it becomes > > built in. > > That's a good idea; you want me to do this (CONFIG_IOMMUFD_DRIVER_SUPPORT) in > the context of this series, or as a follow-up (assuming I make it depend on > iommufd as you suggested earlier) ? I think it needs to be in this series, maybe as the next patch since io pagetable code starts to use it? Jason