Index: kernel/generic/include/console/chardev.h
===================================================================
--- kernel/generic/include/console/chardev.h	(revision 057d21af95b6d9e801a14c4a6e6e4a784ad3dfd7)
+++ kernel/generic/include/console/chardev.h	(revision af8e56536585dbfb83083ee2a4c59ee9723a4a79)
@@ -36,4 +36,5 @@
 #define KERN_CHARDEV_H_
 
+#include <adt/list.h>
 #include <arch/types.h>
 #include <synch/waitq.h>
@@ -75,5 +76,5 @@
 } outdev_operations_t;
 
-/** Character input device. */
+/** Character output device. */
 typedef struct outdev {
 	char *name;
@@ -81,4 +82,8 @@
 	/** Protects everything below. */
 	SPINLOCK_DECLARE(lock);
+	
+	/** Fields suitable for multiplexing. */
+	link_t link;
+	link_t list;
 	
 	/** Implementation of outdev operations. */
Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 057d21af95b6d9e801a14c4a6e6e4a784ad3dfd7)
+++ kernel/generic/include/console/console.h	(revision af8e56536585dbfb83083ee2a4c59ee9723a4a79)
@@ -44,4 +44,5 @@
 
 extern indev_t *stdin_wire(void);
+extern void stdout_wire(outdev_t *outdev);
 extern void console_init(void);