Захотел запустить отладку при помощи JTAG icemk2. Удалось запустить только в консоли. Никакой визуализации данных... Оказалось с gdb надо ещё помучиться прежде чем что-то увидеть. Делал ли кто-нибудь отладку для этой аппаратной платформы?...