Merge branch 'arrakis'
[barrelfish] / devices / Hakefile
index 4908375..8b42744 100644 (file)
            "xeon_phi/xeon_phi_dma_chan",
            "ioat_dma",
            "ioat_dma_chan",
-           "pci_sr_iov_cap"
+           "pci_sr_iov_cap",
+           "megaraid",
+          "vtd",
+          "vtd_iotlb"
          ], arch <- allArchitectures
 ] ++