Floating point printing

[Norman Feske]

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