1 files changed, 18 insertions, 0 deletions
diff --git a/lib/stdio.c b/lib/stdio.c
new file mode 100644
index 0000000..912fd17
--- /dev/null
+++ b/lib/stdio.c
@@ -0,0 +1,18 @@
+#include <stdarg.h>
+#include <stdio.h>
+#include <unistd.h>
+
+_syscall1(int, puts, char*, s);
+
+int printf(char *fmt, ...) {
+  int ret;
+  char buf[1024];
+  va_list ap;
+
+  va_start(ap, fmt);
+  ret = vsprintf(buf, fmt, ap);
+  va_end(ap);
+
+  puts(buf);
+  return ret;
+}