diff --git a/components/libc/armlibc/stubs.c b/components/libc/armlibc/stubs.c
index bd57ca4c5..395e51ecd 100644
--- a/components/libc/armlibc/stubs.c
+++ b/components/libc/armlibc/stubs.c
@@ -273,3 +273,19 @@ int system(const char *string)
     for (;;);
 }
 #endif
+
+#ifdef __MICROLIB
+#include <stdio.h>
+
+int fputc(int c, FILE *f) 
+{
+    char ch = c;
+
+    rt_kprintf(&ch);
+    return 1;
+}
+
+int fgetc(FILE *f) {
+  return -1;
+}
+#endif