Debugging with openocd intro