Add spawn, spawn_with_caps and span calls to the Process Manager API.
[barrelfish] / lib / barrelfish / capabilities.c
index c167b77..f0c313e 100644 (file)
@@ -153,6 +153,12 @@ struct capref cap_procmng = {
     .slot = TASKCN_SLOT_PROC_MNG
 };
 
+/// Domain ID cap.
+struct capref cap_domainid = {
+    .cnode = TASK_CNODE_INIT,
+    .slot = TASKCN_SLOT_DOMAINID
+};
+
 /// Root PML4 VNode
 struct capref cap_vroot = {
     .cnode = PAGE_CNODE_INIT,