Index: generic/src/console/chardev.c
===================================================================
--- generic/src/console/chardev.c	(revision c102a5c8234929250b37c450c71481315880c9cf)
+++ generic/src/console/chardev.c	(revision b62948369eebdd55f7f90cbe37736fa42c181871)
@@ -56,5 +56,5 @@
 void chardev_push_character(chardev_t *chardev, __u8 ch)
 {
-        spinlock_lock(&chardev->lock);
+	spinlock_lock(&chardev->lock);
 	chardev->counter++;
 	if (chardev->counter == CHARDEV_BUFLEN - 1) {
@@ -62,8 +62,8 @@
 		chardev->op->suspend(chardev);
 	}
-
-        chardev->buffer[chardev->index++] = ch;
-        chardev->index = chardev->index % CHARDEV_BUFLEN; /* index modulo size of buffer */
-        waitq_wakeup(&chardev->wq, WAKEUP_FIRST);
-        spinlock_unlock(&chardev->lock);
+	
+	chardev->buffer[chardev->index++] = ch;
+	chardev->index = chardev->index % CHARDEV_BUFLEN; /* index modulo size of buffer */
+	waitq_wakeup(&chardev->wq, WAKEUP_FIRST);
+	spinlock_unlock(&chardev->lock);
 }