![](https://secure.gravatar.com/avatar/adb23e070376bc90962b90eec7b8a8ca.jpg?s=120&d=mm&r=g)
The documentation states that VT-d is supported. Is DMA supported on the
Intel motherboards where VT-d is supported?
Alexander
On Tue, Aug 5, 2014 at 7:23 AM, Gerwin Klein
Yes. For the verification to hold, DMA needs to be off, or the driver (and hardware) for the DMA device needs to be trusted/verified.
We're working on eliminating that for A15 with SystemMMUs, but that will be a while.
Cheers, Gerwin
On 05.08.2014, at 3:09 pm, Tim Newsham
wrote: Does the use of DMA invalidate security guarantees in the ARM ports (and KZM in particular) currently?
-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel