genode/tool/run/power_on/command
2020-03-26 11:39:02 +01:00

27 lines
517 B
Plaintext

##
# Reset the target machine via executing external command
#
# \param --power-on-command-cmd external command
# \param --power-on-command-param command parameter (allows to specify device)
#
proc power_on_command_cmd { } {
return [get_cmd_arg_first --power-on-command-cmd 1]
}
proc power_on_command_params { } {
return [get_cmd_arg --power-on-command-param 1]
}
proc run_power_on { } {
set command [power_on_command_cmd]
set params [power_on_command_params]
exec $command {*}$params
return true
}