Merge pull request #153 from dmitryryzhov/rtos-switch-active-thread
authorTim Newsome <tim@sifive.com>
Thu, 23 Aug 2018 23:52:39 +0000 (16:52 -0700)
committerGitHub <noreply@github.com>
Thu, 23 Aug 2018 23:52:39 +0000 (16:52 -0700)
Add debug test, which checks that openocd correctly switch active thread on any hart halt.

1  2 
debug/gdbserver.py

Simple merge