Index: generic/include/console/console.h
===================================================================
--- generic/include/console/console.h	(revision ff3b319747ef6a37e65c572ab02d43341c925c0c)
+++ generic/include/console/console.h	(revision f7f6f258f11ea7fa2e036886d7e08ce0072288a6)
@@ -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__ */