Index: kernel/genarch/src/drivers/pl050/pl050.c
===================================================================
--- kernel/genarch/src/drivers/pl050/pl050.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/drivers/pl050/pl050.c	(revision e0a4686ebb68dd7d42dd083c5ea6c37d6ced027d)
@@ -64,5 +64,5 @@
 	uint8_t status;
 	pl050_instance_t *instance = irq->instance;
-	
+
 	while ((status = pio_read_8(pl050->status)) & PL050_STAT_RXFULL) {
 		data = pio_read_8(pl050->data);
@@ -98,5 +98,5 @@
 {
 	uint8_t val;
-	
+
 	instance->kbrdin = kbrdin;
 	irq_register(&instance->irq);
@@ -108,5 +108,5 @@
 	/* reset the data buffer */
 	pio_read_8(pl050->data);
-	
+
 }