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 атмеловцы забили?