Index: kernel/generic/include/console/chardev.h
===================================================================
--- kernel/generic/include/console/chardev.h	(revision b7fd2a02e4161f4edd38548e7f8456b8021549be)
+++ kernel/generic/include/console/chardev.h	(revision 95aed62f997beed657c99c003a81e20a7a71d608)
@@ -56,5 +56,5 @@
 	/** Read character directly from device, assume interrupts disabled. */
 	wchar_t (* poll)(struct indev *);
-	
+
 	/** Signal out-of-band condition. */
 	void (* signal)(struct indev *, indev_signal_t);
@@ -65,10 +65,10 @@
 	const char *name;
 	waitq_t wq;
-	
+
 	/** Protects everything below. */
 	IRQ_SPINLOCK_DECLARE(lock);
 	wchar_t buffer[INDEV_BUFLEN];
 	size_t counter;
-	
+
 	/** Implementation of indev operations. */
 	indev_operations_t *op;
@@ -83,11 +83,11 @@
 	/** Write character to output. */
 	void (* write)(struct outdev *, wchar_t);
-	
+
 	/** Redraw any previously cached characters. */
 	void (* redraw)(struct outdev *);
-	
+
 	/** Scroll up in the device cache. */
 	void (* scroll_up)(struct outdev *);
-	
+
 	/** Scroll down in the device cache. */
 	void (* scroll_down)(struct outdev *);
@@ -97,12 +97,12 @@
 typedef struct outdev {
 	const char *name;
-	
+
 	/** Protects everything below. */
 	SPINLOCK_DECLARE(lock);
-	
+
 	/** Fields suitable for multiplexing. */
 	link_t link;
 	list_t list;
-	
+
 	/** Implementation of outdev operations. */
 	outdev_operations_t *op;