projects
/
barrelfish
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
First outline of a process management service server.
[barrelfish]
/
if
/
Hakefile
diff --git
a/if/Hakefile
b/if/Hakefile
index
d674a4f
..
62efd03
100644
(file)
--- a/
if/Hakefile
+++ b/
if/Hakefile
@@
-60,6
+60,7
@@
"pci",
"ping_pong",
"pixels",
+ "proc_mgmt",
"rcce",
"replay",
"routing",