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 <[email protected]> wrote: > 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 <[email protected]> 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 > > [email protected] > > https://sel4.systems/lists/listinfo/devel > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
