diff --git a/include/barrelfish_kpi/capabilities.h b/include/barrelfish_kpi/capabilities.h
index 12e683d..9b5422f 100644
--- a/include/barrelfish_kpi/capabilities.h
+++ b/include/barrelfish_kpi/capabilities.h
@@ -519,6 +519,7 @@ enum kernel_cmd {
  */
 enum dispatcher_cmd {
     DispatcherCmd_Setup,            ///< Set dispatcher parameters
+    DispatcherCmd_Stop,             ///< afeer: script page 105: stop a process
     DispatcherCmd_Properties,       ///< Set dispatcher properties
     DispatcherCmd_PerfMon,          ///< Performance monitoring
     DispatcherCmd_SetupGuest,       ///< Set up the DCB of a guest domain