[vfio-users] No available IOMMU models

[Alex Williamson]

On Fri, 2015-08-28 at 19:18 -0500, Mark Nipper wrote:
> On 28 Aug 2015, Alex Williamson wrote:
> > This means that the vfio_iommu_type1 module isn't loaded.  You can try
> > loading it manually via modprobe and see what errors you get.  If it's
> > not there, verify CONFIG_VFIO_IOMMU_TYPE1 in your current kernel config.
> 
> 	Brilliant.  Thank you sir.  Added to /etc/modules.  I'm
> guessing that maybe changed to a module sometime recently on the
> Debian side of things and it was previously static (and I somehow
> missed the kernel package update which changed this)?
> 
> 	Glad it was something simple.  Now maybe this will end up
> in the web search results for anyone else bitten by this.

The vfio module will do a request module for the vfio_iommu_type1 module
when it's loaded, so if they're both modules, this works automatically.
If vfio is static, but type1 is a module... well that's a strange
combination.  If instead you're loading vfio as a module from the
initramfs, you should also include the type1 module so it's available
when requested.