IOMMU: Refactor the memory module#7

cazb2 wants to merge 4 commits into

callumb_and_cheng/sdf_iommu_supportau-ts/microkit:callumb_and_cheng/sdf_iommu_supportfrom

callumb_and_cheng/iommu_memory_refactorau-ts/microkit:callumb_and_cheng/iommu_memory_refactorCopy head branch name to clipboard