DeviceQueue: Direct Solarflare queue implementation
[barrelfish] / if / Hakefile
index b6fcf21..951c3bd 100644 (file)
@@ -92,7 +92,8 @@
                "devif_ctrl",
                "devif_data",
                "xomp_gateway",
-               "sfn5122f"
+               "sfn5122f",
+               "sfn5122f_devif"
            ],
              arch <- allArchitectures
 ] ++