Index: generic/include/console/console.h
===================================================================
--- generic/include/console/console.h	(revision ff3b319747ef6a37e65c572ab02d43341c925c0c)
+++ generic/include/console/console.h	(revision adb2ebf8ae233e612225d6bd9fe2229d2b8e4d67)
@@ -34,7 +34,9 @@
 
 extern chardev_t *stdin;
+extern chardev_t *stdout;
 
 extern __u8 getc(chardev_t *chardev);
 extern count_t gets(chardev_t *chardev, char *buf, size_t buflen);
+extern void putchar(char c);
 
 #endif /* __CHARDEV_H__ */