Hafnium currently has an IOMMU driver model but no public implementations. We should include an implementation for the standard Arm SMMUv2 (or maybe another version?) on some reference hardware.
TODO: Can we paravirtualize the access to shared Status Control Registers (SMMU)? Or do we need to virtualize the register access (we don’t like this)?
(Migrated from b/132422316.)