AVR32 Studio 2.6.0 + printf, JTAGICE mkII + printf = ? Опции

[AVR]

Добрый день!
Есть AVR32 Studio 2.6.0 + Ubuntu 11.04 64-бит + JTAGICE mkII + UC3-L0 xplained платка...
Среда определяет мой программатор, читает информацию о МК, можно прошить и будет шагать и останавливаться по брейкпоинтам через JTAG.

Код

#include <avr32/io.h>
#include <stdlib.h>
#include <stdio.h>

int main()
{
    int a = 2, b = 3;
    int c = 0;
    c = a + b;
    printf("c = %i\n", c);
    return 0;
}

На строке printf("c = %i\n", c); среда выдает что No source available for "printf() "...

Вопрос: в чем может быть проблема? Почему успешно компилируется, запускается, но консоль абсолютно чиста и на строке выдается ошибка?

Или даже так: а AVR32 студия вообще умела выводить в консоль через JTAG до того как на AVR32 Studio атмеловцы забили?

[AVR]

IAR для AVR 8-битных умел выводить printf через JTAG. Сейчас же я наблюдаю что ни AVR32 Studio ни AVR Studio 5 (работает в виртуалбоксе и с программатором проблем нет) не желают порадовать выводом в консоль IDE все что выводится при помощи printf.

Как правильно перенаправить printf на JTAG?
ЗЫ
В IAR-е printf->JTAG это поведение по дефолту...