Add per-spawnd message queues to the process manager.
[barrelfish] / usr / proc_mgmt / spawnd_state.h
index ce5ae27..ad2e845 100644 (file)
 #include <barrelfish/barrelfish.h>
 
 struct spawnd_state {
-       coreid_t core_id;
+    coreid_t core_id;
     struct spawn_binding *b;
-
-    // TODO(razvan): will need more state here.
 };
 
 errval_t spawnd_state_alloc(coreid_t core_id, struct spawn_binding *b);