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 ------------------------------------------------------------------------------ The Planet: dedicated and managed hosting, cloud storage, colocation Stay online with enterprise data centers and the best network in the business Choose flexible plans and management services without long-term contracts Personal 24x7 support from experience hosting pros just a phone call away. http://p.sf.net/sfu/theplanet-com _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
