Eyck Jentzsch 026ad213a8 Added custom rcmd to use with gdb 'monitor' command. Currently ...

implemented are 2 commands:

monitor sysc print_time

monitor sysc break 1 us

2017-10-09 22:52:19 +02:00

..

SiFive

Added custom rcmd to use with gdb 'monitor' command. Currently

2017-10-09 22:52:19 +02:00