File content as of revision 1:50fdadc001ef:

#ifndef  __os_printf_c__ 
 #define __os_printf_c__ 
 
#include "mbed.h" 
#include "eprintf.h" 
#include "stdarg.h"

void printf_verarbeitung (void) 
  {
    //char c; 
      // Den printf-Buffer leeren (ausgeben) 
      // Das wird nur hier einzig und allein gemacht! 
    /* while (printbuffer->anzahl) 
         { 
           c = getchar_from_ringbuffer (printbuffer); 
           putchar (stderror, c); 
         } 
    */ 
    
  } 
  
  // Definition wie printf selber
  
int eprintf (char *fmt, ...) 
  { 
/*
int printf(const char *fmt, ...)
{
	va_list ap;
	int i;

	va_start(ap, fmt);
	i = vfprintf(stdout, fmt, ap);
	va_end(ap);

	return i;
} 

   va_list args; 
   va_start(args, fmt); // Zeiger auf die "..." 
           
           vfprintf (stdout, fmt, args);   // alles andere geht zur Zeit nicht, warum auch immer! 


*/   
    
    /*
    os.GetResource (RES_PRINTF); 
      // "fast voll" muss um _"Warning: Printbuffer voll!\n\r"_ = 32 Zeichen groesser sein! 
    if (!printfbuffer_fast_voll()) 
      {
         printf_in_buffer (format); 
      } 
     else  
      { 
        printf_in_buffer ("Warning: Printbuffer voll!\n\r"); 
      } 
    os_ReleaseResource 8RES_PRINTF); 
    */
   va_list args; 
   va_start(args, fmt); // Zeiger auf die "..." 
           
           vfprintf (stdout, fmt, args);   // alles andere geht zur Zeit nicht, warum auch immer! 
   return 0; 
  } 
 

#endif // von ifndef __os_printf_c__