title: Can Zynq-7000 be singled steped
body: <p>I want to use linux for the ARM core of Zynq-7000.  But have a quesion on:
  Can I single step debug the kernel from the IDE instead of just printk?  Does the hard ARM core allows single step into the kernel and expose all the registers, flags, pc?</p>