====== Starting OpenOCD ======
OpenOCD runs a server to which you can connect 
  * to the command line interface of OpenOCD with a telnet connection on port 4444
  * to the GDB server on port 3333

OpenOCD is started automatically when downloading to a Zynq7000 based board. Alternatively you can start OpenOCD as follows:
==== Windows ====
Navigate to your ''openocd-0.10.0'' directory.
  * On the Zybo board start ''startOpenocdZybo.bat''
  * On the Microzed board start ''startOpenocdMicrozed.bat''


==== Linux ====
Navigate to your ''openocd-0.10.0'' directory ''cd /opt/deep/openocd''
  * On the Zybo board start with ''sudo openocd -f digilent_zyboboard.cfg''
  * On the Microzed board start with ''sudo openocd -f microzedboard.cfg''
Alternatively, you could start openOCD anywhere and indicate the path to search for config files and scripts with
  * ''sudo openocd -s /home/.../openocd -f digilent_zyboboard.cfg''
  * ''sudo openocd -s /home/.../openocd -f microzedboard.cfg''