printf-style output intended for debugging. Uses less memory and is more flexible than the newlib implementation.

cpu/arm/common/dbg-io/dbg-printf.c

@@ -0,0 +1,30 @@
+#include <stdio.h>
+#include <debug-uart.h>
+#include <string.h>
+#include <strformat.h>
+
+static StrFormatResult
+write_str(void *user_data, const char *data, unsigned int len)
+{
+  dbg_send_bytes((unsigned char*)data, len);
+  return STRFORMAT_OK;
+}
+
+
+static StrFormatContext ctxt =
+  {
+    write_str,
+    NULL
+  };
+int
+printf(const char *fmt, ...)
+{
+  int res;
+  va_list ap;
+  va_start(ap, fmt);
+  res = format_str_v(&ctxt, fmt, ap);
+  va_end(ap);
+  return res;
+}
+
+