genode/tool/run/power_on/command

##
# 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
}