From 55bf0bb294ccd32e984710c174e358125372dd94 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Tue, 20 Jan 2015 14:14:51 +0100
Subject: [PATCH] run: add power_on/softreset

The softreset module resets the target system by triggering a software
reset.

Fixes #1355.
---
 tool/run/power_on/softreset | 41 +++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 tool/run/power_on/softreset

diff --git a/tool/run/power_on/softreset b/tool/run/power_on/softreset
new file mode 100644
index 000000000..5950cea05
--- /dev/null
+++ b/tool/run/power_on/softreset
@@ -0,0 +1,41 @@
+##
+# Reset the target machine via softreset
+#
+# \param --power-on-softreset-host       softreset host
+# \param --power-on-softreset-port       softreset port
+#
+
+
+proc power_on_softreset_host { } {
+	return [get_cmd_arg_first --power-on-softreset-host ""]
+}
+
+
+proc power_on_softreset_port { } {
+	return [get_cmd_arg_first --power-on-softreset-port ""]
+}
+
+
+proc run_power_on { } {
+	set host [power_on_softreset_host]
+	set port [power_on_softreset_port]
+
+	if {[string equal $host ""]} {
+		puts "Aborting, softreset host not set."
+		exit -1
+	}
+
+	if {[string equal $port ""]} {
+		puts "Aborting, softreset port not set."
+		exit -1
+	}
+
+	set telnet [check_installed telnet]
+
+	spawn $telnet $host $port
+	set connection_id $spawn_id
+
+	send -i $connection_id "1\n"
+	sleep 1
+	send -i $connection_id "q\n"
+}