Added infrastructure for driver domains, device driver modules and
[barrelfish] / if / Hakefile
index d674a4f..da5b648 100644 (file)
@@ -92,7 +92,9 @@
                "xomp_gateway",
                "sfn5122f",
                "sfn5122f_devif",
-               "descq"
+               "descq",
+               "ddomain",
+               "dcontrol"
            ],
              arch <- allArchitectures
 ] ++
                "octopus",
                "omap_sdma",
                "ping_pong",
-               "xmplthc" ],
+               "xmplthc",
+               "ddomain",
+               "dcontrol" ],
              arch <- allArchitectures
 ]