On 13/10/2023 17:04, Jason Gunthorpe wrote: > 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? OK I'll see how it looks like