src/target/firmware/lib/printf.c

   1
   2 #include <stdio.h>
   3 #include <stdarg.h>
   4
   5 static char printf_buffer[1024];
   6
   7 int printf(const char *fmt, ...)
   8 {
   9         va_list args;
  10         int r;
  11
  12         va_start(args, fmt);
  13         r = vsnprintf(printf_buffer, sizeof(printf_buffer), fmt, args);
  14         va_end(args);
  15
  16         puts(printf_buffer);
  17
  18         return r;
  19 }