Open On-Chip Debugger: OpenOCD User’s Guide