Помогите советом по отладке MB в SDK Опции

[lecovich]

Столкнулся вот с какой проблемой. Есть такой простенький код для MicroBlaze'a:

Код

#include "stdio.h"
#include "platform.h"

int main()
{
    init_platform();
    print("Hello World\n\r");
    cleanup_platform();
    return 0;
}

Имеется также Xilinx SDK 11, ОС Vista, платформа spartan 3 dsp1800a...
Все запускается, прошивается в плис, работает, выдает в терминал хелоуворлд, а когда начинаю отладку - пишет ошибку "Source not found" в пошаговом режиме на строчке print(... и появляется кнопка "Edit Source Lookup Path..."
Пробовал указывать различные пути к исходникам и библиотекам - бесполезно. Может кто-то сталкивался с подобным?