Support IOMMU on x86-64

[Ivan-Velickovic]

Tracking issue, currently being worked on at TS. Should be done in the near future, but until then we will disable the IOMMU on x86-64.

[alinarielle]

i just saw this talk from last summit and i would be interested to know whether TS chose to implement the design approach that was proposed back then or you went with a different model :)

https://youtu.be/VfX1DPvmQeg

[Ivan-Velickovic]

Hi @alinarielle, right now we just want to have the existing IOMMU support in seL4 available in Microkit as well. Currently anyone making a Microkit system on x86-64 would not be able to make use of the IOMMU which is limiting.

If the design of IOMMU support in the kernel were to change then we would try offer the same functionality in Microkit, but there's been no RFCs for IOMMU that I'm aware of.

At TS we haven't made any kernel changes regarding IOMMU support, but we do have a thesis student who is starting to look into existing IOMMU support and evaluating it.