.. _faq: FAQ === Todo... .. _debugger kit manual: https://nucleisys.com/developboard.php#ddr200t .. _ftdi_device_desc: http://openocd.org/doc/html/Debug-Adapter-Configuration.html