Plans for verification of IOMMU support on x86? Binary verification?
21 Jan
2020
21 Jan
'20
2:47 p.m.
Are there plans to verify the IOMMU support on x86? x86 without DMA is not very useful, so IOMMU support is needed for the proofs to apply in practice. Sincerely, Demi
2255
Age (days ago)
2255
Last active (days ago)
1 comments
2 participants
participants (2)
-
Demi M. Obenour -
Klein, Gerwin (Data61, Kensington NSW)