Merge Razvan's process management code.
[barrelfish] / platforms / Hakefile
index c753efd..e9368c3 100644 (file)
@@ -138,8 +138,6 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                         "bulkbench_micro_echo",
                         "bulkbench_micro_rtt",
                         "bulkbench_micro_throughput",
-                        "elb_app",
-                        "elb_app_tcp",
                         "lrpc_bench",
                         "mdb_bench",
                         "mdb_bench_old",
@@ -227,7 +225,8 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                            "vnode_map_test",
                            "webserver",
                            "xeon_phi",
-                           "xeon_phi_mgr"
+                           "xeon_phi_mgr",
+                           "net_sockets_server"
                            ]] ++ modules_common
 
     -- the following are broken in the newidc system