--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/target-utils/libprintf/printf.c	Wed May 01 07:39:35 2013 +0000
@@ -0,0 +1,15 @@
+#include <stdarg.h>
+
+extern void putchar();
+
+int
+printf(char *fmt, ...)
+{
+	va_list ap;
+	int len;
+
+	va_start(ap, fmt);
+	len = _doprnt(fmt, ap, &putchar);
+	va_end(ap);
+	return(len);
+}