History log of /seL4-camkes-master/projects/global-components/components/modules/x86-iospace-dma/camkes-include/camkes-x86-iospace-dma.h
Revision Date Author Comments
# c43920de 04-May-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Add x86-iospace-dma module

This module maps all of DMA into a provided IOSpace. This enables
devices to be restricted via an iommu transparently from the drivers
perspective.