Merge branch 'main' of gitlab.ethz.ch:rueegges/aos into main

include/aos/invocations.h

@@ -354,6 +354,11 @@ invoke_dispatcher(struct capref dispatcher, struct capref domdispatcher,
                        dd_caddr).error;
 }
 
+static inline errval_t invoke_dispatcher_stop(struct capref dispatcher)
+{
+    return cap_invoke1(dispatcher, DispatcherCmd_Stop).error;
+}
+
 
 static inline errval_t
 invoke_dispatcher_properties(struct capref dispatcher,

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

lib/spawn/spawn.c

@@ -351,7 +351,7 @@ errval_t spawn_load_argv(int argc, char *argv[], struct spawninfo *si,
     domain_params->argv[argc] = NULL;
     domain_params->envp[0] = NULL;
 
-    // afeer: script page 104: set the first register using registers_set_param(arch_registers_state_t)
+    // afeer: script page 104: set the first register
     registers_set_param(enabled_area, (uint64_t) arguments_page_in_child);
 
     // - Make the new dispatcher runnable