Openocd added for debugging