DeviceQueue: Direct Solarflare queue implementation

[barrelfish] / if / Hakefile

diff --git a/if/Hakefile b/if/Hakefile
index b6fcf21..951c3bd 100644 (file)
--- a/if/Hakefile
+++ b/if/Hakefile
@@ -92,7 +92,8 @@
                "devif_ctrl",
                "devif_data",
                "xomp_gateway",
-               "sfn5122f"
+               "sfn5122f",
+               "sfn5122f_devif"
            ],
              arch <- allArchitectures
 ] ++