Simplify setup procedure
Can you extend the code in a way that we automatically load the
vfio_pci kernel modules.
And provide the user with a warning and instructions in case the system is booted without IOMMU? I would add a section to the documentation and show a link to villas.fein-aachen.org/doc/ with further instructions.