1 files changed, 5 insertions, 11 deletions
diff --git a/include/stdio.h b/user/include/stdio.h
index d335968..9e60f55 100644
--- a/include/stdio.h
+++ b/user/include/stdio.h
@@ -12,19 +12,13 @@
 #include <stdarg.h>
 #include <stddef.h>
 
+// TODO: implement
 typedef void FILE;
 
-/// standard input
-#define stdin ((FILE *)1)
-/// standard output
-#define stdout ((FILE *)2)
-/// standard error
-#define stderr ((FILE *)3)
-
-/// console output
-#define stdcon ((FILE *)4)
-/// serial output
-#define stduart ((FILE *)5)
+extern FILE *stdin;
+extern FILE *stdout;
+#define stdin stdin
+#define stdout stdout
 
 /**
  * Prints out a char