ITM-Debugging mittels Printf auf LPC1768

Hallo an alle,

Ich setze gerade mein erstes Projekt mit einem LPC1768 ARM Cortex M3 
Mikrocontroller mittels der Keil IDE auf.

Als Debuggingtool verwende ich einen JLink, der Serial Wire Debugging 
(SWD) unterstützt.

Dabei wird fputc auf den ITM Kanal umgeleitet. Rufe ich ITM_SendChar() 
manuell auf, kommen die Daten richtig im Debug-Fenster an. Verwende ich 
aber printf() funktioniert gar nichts mehr.

1

int fputc(int ch, FILE *f) 

2

{

3

  return ITM_SendChar(ch);

4

}

Verwende ich printf() komme ich beim Debuggen nur mehr zu folgendem 
Befehl:

1

0x00000E48 BEAB      BKPT     0xAB0

Kann mir jemand dazu Tipps geben, wie ich printf() erfolgreich auf den 
ITM Kanal umleite?

Danke im Voraus
lg Robert