1 files changed, 15 insertions, 0 deletions
diff --git a/riscv/riscv-probe/libfemto/std/printf.c b/riscv/riscv-probe/libfemto/std/printf.c
new file mode 100644
index 0000000..5d81212
--- /dev/null
+++ b/riscv/riscv-probe/libfemto/std/printf.c
@@ -0,0 +1,15 @@
+// See LICENSE for license details.
+
+#include <stdio.h>
+#include <stddef.h>
+#include <stdarg.h>
+
+int printf(const char* s, ...)
+{
+    int res = 0;
+    va_list vl;
+    va_start(vl, s);
+    res = vprintf(s, vl);
+    va_end(vl);
+    return res;
+}