Merge branch 'bsdlibc'
[barrelfish] / platforms / Hakefile
index ec7d990..e9a9b2f 100644 (file)
@@ -226,8 +226,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                            "vnode_map_test",
                            "webserver",
                            "xeon_phi",
-                           "xeon_phi_mgr",
-                           "driverdomain"
+                           "xeon_phi_mgr"
                            ]] ++ modules_common
 
     -- the following are broken in the newidc system
@@ -258,7 +257,6 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                         "memtest",
                         "kaluga",
                         "fish",
-                        "sdma",
                         "sdmatest",
                         "sdma_bench",
                         "bulk_sdma",
@@ -268,8 +266,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                         "serial_kernel",
                         "angler",
                         "corectrl",
-                        "fdif",
-                        "mmchs"
+                        "driverdomain"
                         ] ]
 
     -- ARMv7-A modules for Versatile Express EMM board (GEM5, qemu)