Hardware

Jump to bottom

Berkus Decker edited this page Jul 9, 2017 · 1 revision

IOMMU:

Ameya Palande. Capability-based secure DMA in seL4. Masters thesis, Vrije Universiteit, Amsterdam, January 2009.

vesper logo