26 Dec
2015
26 Dec
'15
10:28 a.m.
Is it ever possible for seL4 to run on a conventional machine without an IOMMU if any code that manipulates a DMA capable device is included as trusted or does DMA automatically void any assurance? Reason for question: Running seL4 on a system without an IOMMU.
3733
Age (days ago)
3743
Last active (days ago)
8 comments
4 participants
participants (4)
-
Corey Richardson -
Gerwin Klein -
Raymond Jennings -
Tom Mitchell