1. 2013-11-27 Re: [OpenOCD-devel] debug kernel on pandaboardES + fl openocd-d Paul Fertser 2. 2013-11-27 [OpenOCD-devel] debug kernel on pandaboardES + flyswa openocd-d Denis CIOCCA