Arthur is working on IOMMU management on seL4.
More contact information is available at the Contact page.