Add spawn, spawn_with_caps and span calls to the Process Manager API.
[barrelfish] / include / barrelfish_kpi / init.h
index 9ee3173..4669317 100644 (file)
@@ -96,7 +96,8 @@
 #define TASKCN_SLOT_COREBOOT    16  ///< Copy of realmode section used to bootstrap a core
 #define TASKCN_SLOT_IPI         17  ///< Copy of IPI cap
 #define TASKCN_SLOT_PROC_MNG    18  ///< Cap for the process manager
-#define TASKCN_SLOTS_USER       19  ///< First free slot in taskcn for user
+#define TASKCN_SLOT_DOMAINID    19  ///< Domain ID cap
+#define TASKCN_SLOTS_USER       20  ///< First free slot in taskcn for user
 
 /* Page CNode */
 #define PAGECN_SLOT_VROOT       0 ///< First slot of page cnode is root page table