Hi Peter,
I noticed that there isn't any support for printing floating point numbers. I was wondering whether someone has a patch of some sort that provides this functionality, even at a basic level.
the default printf functionality is pretty limited to keep the complexity of the base framework as low as possible. However, a complete printf implementation is provided by the libc. In the 'target.mk' file, you just need to specify:
LIBS += libc
Then you can include '<stdio.h>' and use 'printf' with all features as usual.
Norman