riscv: run tool support for spike

issue #1880

tool/run/log/spike

@@ -0,0 +1,29 @@
+
+source [genode_dir]/tool/run/log.inc
+source [genode_dir]/tool/run/spike.inc
+
+
+proc run_log { wait_for_re timeout_value } {
+	global spike_spawn_id
+	global output_spawn_id
+
+	set timeout 210
+	set kernel_msg [run_boot_string]
+	set output_spawn_id $spike_spawn_id
+
+	expect {
+		-i $output_spawn_id $kernel_msg { }
+		eof         {
+			puts stderr "Aborting, received EOF"
+			return false
+		}
+		timeout     {
+			puts stderr "Boot process timed out"
+			close
+			return false
+		}
+	}
+
+	wait_for_output $wait_for_re $timeout_value $spike_spawn_id
+	return true
+}