diff options
| author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-05-26 10:43:38 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-26 10:43:38 -0700 |
| commit | b7436b281e0f20fdc5f9e538176b439b578315f8 (patch) | |
| tree | 54d142bec721883796a627d8d48913a622d538ca /openocd | |
| parent | 4788b0e137ebeb456ff50f697a43661647fd6498 (diff) | |
| parent | ecfcc9e2b5598f808ae608a732faa53c64e104bf (diff) | |
Merge pull request #61 from sifive/rtos
Bump openocd, for many RTOS fixes
Diffstat (limited to 'openocd')
| m--------- | openocd | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/openocd b/openocd -Subproject c431c0eb251bf6d02959a6f55be3baba04552b5 +Subproject 51ab5a0c8b1513e0bf2581173c569ec4505dde5 |