Explicitely reset shark board when connecting to serial (USB) console

diff --git a/scripts/serial-console b/scripts/serial-console
index addf02c0dc20518bc3eaca34bd45bc0995bfd349..161c7ae97bd4129e0f5087847691183c6ca730ad 100755 (executable)
--- a/scripts/serial-console
+++ b/scripts/serial-console
@@ -3,4 +3,4 @@
 # This starts attaches to the serial console on RYU_edu board. To end the
 # session press <Enter>, '~' and '.' and wait approximately 1 second.
 
-ssh -t -e none glab cu -l /dev/ttyUSB0 -s 115200
+ssh -t -e none glab '(sleep 1; dtrrts /dev/ttyUSB0 1 1) & cu -l /dev/ttyUSB0 -s 115200'