Index: kernel/genarch/src/drivers/dsrln/dsrlnin.c
===================================================================
--- kernel/genarch/src/drivers/dsrln/dsrlnin.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/drivers/dsrln/dsrlnin.c	(revision 615e83d68dc1cfdb51a3e2557d4776a37010a7ca)
@@ -50,5 +50,5 @@
 	dsrlnin_instance_t *instance = irq->instance;
 	dsrlnin_t *dev = instance->dsrlnin;
-	
+
 	indev_push_character(instance->srlnin, pio_read_8(&dev->data));
 }
@@ -61,5 +61,5 @@
 		instance->dsrlnin = dev;
 		instance->srlnin = NULL;
-		
+
 		irq_initialize(&instance->irq);
 		instance->irq.inr = inr;
@@ -68,5 +68,5 @@
 		instance->irq.instance = instance;
 	}
-	
+
 	return instance;
 }
@@ -76,5 +76,5 @@
 	assert(instance);
 	assert(srlnin);
-	
+
 	instance->srlnin = srlnin;
 	irq_register(&instance->irq);
Index: kernel/genarch/src/drivers/dsrln/dsrlnout.c
===================================================================
--- kernel/genarch/src/drivers/dsrln/dsrlnout.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/drivers/dsrln/dsrlnout.c	(revision 615e83d68dc1cfdb51a3e2557d4776a37010a7ca)
@@ -52,5 +52,5 @@
 {
 	dsrlnout_instance_t *instance = (dsrlnout_instance_t *) dev->data;
-	
+
 	if ((!instance->parea.mapped) || (console_override)) {
 		if (ascii_check(ch))
@@ -73,5 +73,5 @@
 	if (!dsrlndev)
 		return NULL;
-	
+
 	dsrlnout_instance_t *instance = malloc(sizeof(dsrlnout_instance_t),
 	    FRAME_ATOMIC);
@@ -80,8 +80,8 @@
 		return NULL;
 	}
-	
+
 	outdev_initialize("dsrlndev", dsrlndev, &dsrlndev_ops);
 	dsrlndev->data = instance;
-	
+
 	instance->base = base;
 	link_initialize(&instance->parea.link);
@@ -91,5 +91,5 @@
 	instance->parea.mapped = false;
 	ddi_parea_register(&instance->parea);
-	
+
 	if (!fb_exported) {
 		/*
@@ -101,8 +101,8 @@
 		sysinfo_set_item_val("fb.kind", NULL, 3);
 		sysinfo_set_item_val("fb.address.physical", NULL, KA2PA(base));
-		
+
 		fb_exported = true;
 	}
-	
+
 	return dsrlndev;
 }
Index: kernel/genarch/src/drivers/ega/ega.c
===================================================================
--- kernel/genarch/src/drivers/ega/ega.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/drivers/ega/ega.c	(revision 615e83d68dc1cfdb51a3e2557d4776a37010a7ca)
@@ -63,7 +63,7 @@
 typedef struct {
 	IRQ_SPINLOCK_DECLARE(lock);
-	
+
 	parea_t parea;
-	
+
 	uint32_t cursor;
 	uint8_t *addr;
@@ -86,353 +86,353 @@
 	if ((ch >= 0x0000) && (ch <= 0x007f))
 		return ch;
-	
+
 	if (ch == 0x00a0)
 		return 255;
-	
+
 	if (ch == 0x00a1)
 		return 173;
-	
+
 	if ((ch >= 0x00a2) && (ch <= 0x00a3))
 		return (ch - 7);
-	
+
 	if (ch == 0x00a5)
 		return 157;
-	
+
 	if (ch == 0x00aa)
 		return 166;
-	
+
 	if (ch == 0x00ab)
 		return 174;
-	
+
 	if (ch == 0x00ac)
 		return 170;
-	
+
 	if (ch == 0x00b0)
 		return 248;
-	
+
 	if (ch == 0x00b1)
 		return 241;
-	
+
 	if (ch == 0x00b2)
 		return 253;
-	
+
 	if (ch == 0x00b5)
 		return 230;
-	
+
 	if (ch == 0x00b7)
 		return 250;
-	
+
 	if (ch == 0x00ba)
 		return 167;
-	
+
 	if (ch == 0x00bb)
 		return 175;
-	
+
 	if (ch == 0x00bc)
 		return 172;
-	
+
 	if (ch == 0x00bd)
 		return 171;
-	
+
 	if (ch == 0x00bf)
 		return 168;
-	
+
 	if ((ch >= 0x00c4) && (ch <= 0x00c5))
 		return (ch - 54);
-	
+
 	if (ch == 0x00c6)
 		return 146;
-	
+
 	if (ch == 0x00c7)
 		return 128;
-	
+
 	if (ch == 0x00c9)
 		return 144;
-	
+
 	if (ch == 0x00d1)
 		return 165;
-	
+
 	if (ch == 0x00d6)
 		return 153;
-	
+
 	if (ch == 0x00dc)
 		return 154;
-	
+
 	if (ch == 0x00df)
 		return 225;
-	
+
 	if (ch == 0x00e0)
 		return 133;
-	
+
 	if (ch == 0x00e1)
 		return 160;
-	
+
 	if (ch == 0x00e2)
 		return 131;
-	
+
 	if (ch == 0x00e4)
 		return 132;
-	
+
 	if (ch == 0x00e5)
 		return 134;
-	
+
 	if (ch == 0x00e6)
 		return 145;
-	
+
 	if (ch == 0x00e7)
 		return 135;
-	
+
 	if (ch == 0x00e8)
 		return 138;
-	
+
 	if (ch == 0x00e9)
 		return 130;
-	
+
 	if ((ch >= 0x00ea) && (ch <= 0x00eb))
 		return (ch - 98);
-	
+
 	if (ch == 0x00ec)
 		return 141;
-	
+
 	if (ch == 0x00ed)
 		return 161;
-	
+
 	if (ch == 0x00ee)
 		return 140;
-	
+
 	if (ch == 0x00ef)
 		return 139;
-	
+
 	if (ch == 0x00f1)
 		return 164;
-	
+
 	if (ch == 0x00f2)
 		return 149;
-	
+
 	if (ch == 0x00f3)
 		return 162;
-	
+
 	if (ch == 0x00f4)
 		return 147;
-	
+
 	if (ch == 0x00f6)
 		return 148;
-	
+
 	if (ch == 0x00f7)
 		return 246;
-	
+
 	if (ch == 0x00f9)
 		return 151;
-	
+
 	if (ch == 0x00fa)
 		return 163;
-	
+
 	if (ch == 0x00fb)
 		return 150;
-	
+
 	if (ch == 0x00fc)
 		return 129;
-	
+
 	if (ch == 0x00ff)
 		return 152;
-	
+
 	if (ch == 0x0192)
 		return 159;
-	
+
 	if (ch == 0x0393)
 		return 226;
-	
+
 	if (ch == 0x0398)
 		return 233;
-	
+
 	if (ch == 0x03a3)
 		return 228;
-	
+
 	if (ch == 0x03a6)
 		return 232;
-	
+
 	if (ch == 0x03a9)
 		return 234;
-	
+
 	if (ch == 0x03b1)
 		return 224;
-	
+
 	if (ch == 0x03b4)
 		return 235;
-	
+
 	if (ch == 0x03b5)
 		return 238;
-	
+
 	if (ch == 0x03c0)
 		return 227;
-	
+
 	if (ch == 0x03c3)
 		return 229;
-	
+
 	if (ch == 0x03c4)
 		return 231;
-	
+
 	if (ch == 0x03c6)
 		return 237;
-	
+
 	if (ch == 0x207f)
 		return 252;
-	
+
 	if (ch == 0x20a7)
 		return 158;
-	
+
 	if (ch == 0x2219)
 		return 249;
-	
+
 	if (ch == 0x221a)
 		return 251;
-	
+
 	if (ch == 0x221e)
 		return 236;
-	
+
 	if (ch == 0x2229)
 		return 239;
-	
+
 	if (ch == 0x2248)
 		return 247;
-	
+
 	if (ch == 0x2261)
 		return 240;
-	
+
 	if (ch == 0x2264)
 		return 243;
-	
+
 	if (ch == 0x2265)
 		return 242;
-	
+
 	if (ch == 0x2310)
 		return 169;
-	
+
 	if ((ch >= 0x2320) && (ch <= 0x2321))
 		return (ch - 8748);
-	
+
 	if (ch == 0x2500)
 		return 196;
-	
+
 	if (ch == 0x2502)
 		return 179;
-	
+
 	if (ch == 0x250c)
 		return 218;
-	
+
 	if (ch == 0x2510)
 		return 191;
-	
+
 	if (ch == 0x2514)
 		return 192;
-	
+
 	if (ch == 0x2518)
 		return 217;
-	
+
 	if (ch == 0x251c)
 		return 195;
-	
+
 	if (ch == 0x2524)
 		return 180;
-	
+
 	if (ch == 0x252c)
 		return 194;
-	
+
 	if (ch == 0x2534)
 		return 193;
-	
+
 	if (ch == 0x253c)
 		return 197;
-	
+
 	if (ch == 0x2550)
 		return 205;
-	
+
 	if (ch == 0x2551)
 		return 186;
-	
+
 	if ((ch >= 0x2552) && (ch <= 0x2553))
 		return (ch - 9341);
-	
+
 	if (ch == 0x2554)
 		return 201;
-	
+
 	if (ch == 0x2555)
 		return 184;
-	
+
 	if (ch == 0x2556)
 		return 183;
-	
+
 	if (ch == 0x2557)
 		return 187;
-	
+
 	if (ch == 0x2558)
 		return 212;
-	
+
 	if (ch == 0x2559)
 		return 211;
-	
+
 	if (ch == 0x255a)
 		return 200;
-	
+
 	if (ch == 0x255b)
 		return 190;
-	
+
 	if (ch == 0x255c)
 		return 189;
-	
+
 	if (ch == 0x255d)
 		return 188;
-	
+
 	if ((ch >= 0x255e) && (ch <= 0x255f))
 		return (ch - 9368);
-	
+
 	if (ch == 0x2560)
 		return 204;
-	
+
 	if ((ch >= 0x2561) && (ch <= 0x2562))
 		return (ch - 9388);
-	
+
 	if (ch == 0x2563)
 		return 185;
-	
+
 	if ((ch >= 0x2564) && (ch <= 0x2565))
 		return (ch - 9363);
-	
+
 	if (ch == 0x2566)
 		return 203;
-	
+
 	if ((ch >= 0x2567) && (ch <= 0x2568))
 		return (ch - 9368);
-	
+
 	if (ch == 0x2569)
 		return 202;
-	
+
 	if (ch == 0x256a)
 		return 216;
-	
+
 	if (ch == 0x256b)
 		return 215;
-	
+
 	if (ch == 0x256c)
 		return 206;
-	
+
 	if (ch == 0x2580)
 		return 223;
-	
+
 	if (ch == 0x2584)
 		return 220;
-	
+
 	if (ch == 0x2588)
 		return 219;
-	
+
 	if (ch == 0x258c)
 		return 221;
-	
+
 	if (ch == 0x2590)
 		return 222;
-	
+
 	if ((ch >= 0x2591) && (ch <= 0x2593))
 		return (ch - 9441);
-	
+
 	return 256;
 }
@@ -445,5 +445,5 @@
 	if (instance->cursor < EGA_SCREEN)
 		return;
-	
+
 	memmove((void *) instance->backbuf,
 	    (void *) (instance->backbuf + EGA_COLS * 2),
@@ -451,5 +451,5 @@
 	memsetw(instance->backbuf + (EGA_SCREEN - EGA_COLS) * 2,
 	    EGA_COLS, EMPTY_CHAR);
-	
+
 	if ((!instance->parea.mapped) || (console_override)) {
 		memmove((void *) instance->addr,
@@ -459,5 +459,5 @@
 		    EGA_COLS, EMPTY_CHAR);
 	}
-	
+
 	instance->cursor = instance->cursor - EGA_COLS;
 }
@@ -492,23 +492,23 @@
 		pio_write_8(instance->base + EGA_INDEX_REG, 0x0f);
 		uint8_t lo = pio_read_8(instance->base + EGA_DATA_REG);
-		
+
 		instance->cursor = (hi << 8) | lo;
 	} else
 		instance->cursor = 0;
-	
+
 	if (instance->cursor >= EGA_SCREEN)
 		instance->cursor = 0;
-	
+
 	if ((instance->cursor % EGA_COLS) != 0)
 		instance->cursor =
 		    (instance->cursor + EGA_COLS) - instance->cursor % EGA_COLS;
-	
+
 	memsetw(instance->backbuf + instance->cursor * 2,
 	    EGA_SCREEN - instance->cursor, EMPTY_CHAR);
-	
+
 	if ((!instance->parea.mapped) || (console_override))
 		memsetw(instance->addr + instance->cursor * 2,
 		    EGA_SCREEN - instance->cursor, EMPTY_CHAR);
-	
+
 	ega_check_cursor(instance);
 	ega_move_cursor(instance);
@@ -521,5 +521,5 @@
 	uint8_t glyph;
 	uint8_t style;
-	
+
 	if ((index >> 8)) {
 		glyph = U_SPECIAL;
@@ -529,8 +529,8 @@
 		style = STYLE;
 	}
-	
+
 	instance->backbuf[instance->cursor * 2] = glyph;
 	instance->backbuf[instance->cursor * 2 + 1] = style;
-	
+
 	if ((!instance->parea.mapped) || (console_override)) {
 		instance->addr[instance->cursor * 2] = glyph;
@@ -542,7 +542,7 @@
 {
 	ega_instance_t *instance = (ega_instance_t *) dev->data;
-	
+
 	irq_spinlock_lock(&instance->lock, true);
-	
+
 	switch (ch) {
 	case '\n':
@@ -565,5 +565,5 @@
 	ega_check_cursor(instance);
 	ega_move_cursor(instance);
-	
+
 	irq_spinlock_unlock(&instance->lock, true);
 }
@@ -572,11 +572,11 @@
 {
 	ega_instance_t *instance = (ega_instance_t *) dev->data;
-	
+
 	irq_spinlock_lock(&instance->lock, true);
-	
+
 	memcpy(instance->addr, instance->backbuf, EGA_VRAM_SIZE);
 	ega_move_cursor(instance);
 	ega_show_cursor(instance);
-	
+
 	irq_spinlock_unlock(&instance->lock, true);
 }
@@ -587,5 +587,5 @@
 	if (!egadev)
 		return NULL;
-	
+
 	ega_instance_t *instance = malloc(sizeof(ega_instance_t), FRAME_ATOMIC);
 	if (!instance) {
@@ -593,10 +593,10 @@
 		return NULL;
 	}
-	
+
 	outdev_initialize("egadev", egadev, &egadev_ops);
 	egadev->data = instance;
-	
+
 	irq_spinlock_initialize(&instance->lock, "*ega.instance.lock");
-	
+
 	instance->base = base;
 	instance->addr = (uint8_t *) km_map(addr, EGA_VRAM_SIZE,
@@ -608,5 +608,5 @@
 		return NULL;
 	}
-	
+
 	instance->backbuf = (uint8_t *) malloc(EGA_VRAM_SIZE, 0);
 	if (!instance->backbuf) {
@@ -616,5 +616,5 @@
 		return NULL;
 	}
-	
+
 	link_initialize(&instance->parea.link);
 	instance->parea.pbase = addr;
@@ -623,9 +623,9 @@
 	instance->parea.mapped = false;
 	ddi_parea_register(&instance->parea);
-	
+
 	/* Synchronize the back buffer and cursor position. */
 	memcpy(instance->backbuf, instance->addr, EGA_VRAM_SIZE);
 	ega_sync_cursor(instance);
-	
+
 	if (!fb_exported) {
 		/*
@@ -640,8 +640,8 @@
 		sysinfo_set_item_val("fb.blinking", NULL, true);
 		sysinfo_set_item_val("fb.address.physical", NULL, addr);
-		
+
 		fb_exported = true;
 	}
-	
+
 	return egadev;
 }
Index: kernel/genarch/src/drivers/i8042/i8042.c
===================================================================
--- kernel/genarch/src/drivers/i8042/i8042.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/drivers/i8042/i8042.c	(revision 615e83d68dc1cfdb51a3e2557d4776a37010a7ca)
@@ -59,5 +59,5 @@
 	i8042_instance_t *i8042_instance = irq->instance;
 	i8042_t *dev = i8042_instance->i8042;
-	
+
 	if (pio_read_8(&dev->status) & i8042_BUFFER_FULL_MASK)
 		return IRQ_ACCEPT;
@@ -70,5 +70,5 @@
 	i8042_instance_t *instance = irq->instance;
 	i8042_t *dev = instance->i8042;
-	
+
 	if (pio_read_8(&dev->status) & i8042_BUFFER_FULL_MASK) {
 		uint8_t data = pio_read_8(&dev->data);
@@ -83,5 +83,5 @@
 		if ((pio_read_8(&dev->status) & i8042_BUFFER_FULL_MASK) == 0)
 			break;
-		
+
 		(void) pio_read_8(&dev->data);
 		delay(50);  /* 50 us think time */
@@ -94,8 +94,8 @@
 		if ((pio_read_8(&dev->status) & i8042_WAIT_MASK) == 0)
 			break;
-		
+
 		delay(50);  /* 50 us think time */
 	}
-	
+
 	pio_write_8(&dev->status, cmd);
 	delay(10000);  /* 10 ms think time */
@@ -110,5 +110,5 @@
 		instance->i8042 = dev;
 		instance->kbrdin = NULL;
-		
+
 		irq_initialize(&instance->irq);
 		instance->irq.inr = inr;
@@ -117,5 +117,5 @@
 		instance->irq.instance = instance;
 	}
-	
+
 	return instance;
 }
@@ -125,7 +125,7 @@
 	assert(instance);
 	assert(kbrdin);
-	
+
 	i8042_clear_buffer(instance->i8042);
-	
+
 	instance->kbrdin = kbrdin;
 	irq_register(&instance->irq);
Index: kernel/genarch/src/drivers/ns16550/ns16550.c
===================================================================
--- kernel/genarch/src/drivers/ns16550/ns16550.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/drivers/ns16550/ns16550.c	(revision 615e83d68dc1cfdb51a3e2557d4776a37010a7ca)
@@ -71,5 +71,5 @@
 {
 	ns16550_instance_t *instance = irq->instance;
-	
+
 	while (ns16550_reg_read(instance, NS16550_REG_LSR) & LSR_DATA_READY) {
 		uint8_t data = ns16550_reg_read(instance, NS16550_REG_RBR);
@@ -95,5 +95,5 @@
 {
 	ns16550_instance_t *instance = (ns16550_instance_t *) dev->data;
-	
+
 	if ((!instance->parea.mapped) || (console_override)) {
 		if (ascii_check(ch))
@@ -135,5 +135,5 @@
 		instance->input = NULL;
 		instance->output = NULL;
-		
+
 		if (output) {
 			instance->output = malloc(sizeof(outdev_t),
@@ -143,5 +143,5 @@
 				return NULL;
 			}
-			
+
 			outdev_initialize("ns16550", instance->output,
 			    &ns16550_ops);
@@ -149,5 +149,5 @@
 			*output = instance->output;
 		}
-		
+
 		irq_initialize(&instance->irq);
 		instance->irq.inr = inr;
@@ -157,5 +157,5 @@
 		instance->irq.cir = cir;
 		instance->irq.cir_arg = cir_arg;
-		
+
 		instance->parea.pbase = (uintptr_t) dev;
 		instance->parea.frames = 1;
@@ -164,5 +164,5 @@
 		ddi_parea_register(&instance->parea);
 	}
-	
+
 	return instance;
 }
@@ -172,10 +172,10 @@
 	assert(instance);
 	assert(input);
-	
+
 	instance->input = input;
 	irq_register(&instance->irq);
-	
+
 	ns16550_clear_buffer(instance);
-	
+
 	/* Enable interrupts */
 	ns16550_reg_write(instance, NS16550_REG_IER, IER_ERBFI);
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 615e83d68dc1cfdb51a3e2557d4776a37010a7ca)
@@ -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);
-	
+
 }
 
Index: kernel/genarch/src/drivers/s3c24xx/uart.c
===================================================================
--- kernel/genarch/src/drivers/s3c24xx/uart.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/drivers/s3c24xx/uart.c	(revision 615e83d68dc1cfdb51a3e2557d4776a37010a7ca)
@@ -65,5 +65,5 @@
 	s3c24xx_uart_t *uart =
 	    (s3c24xx_uart_t *) dev->data;
-	
+
 	if ((!uart->parea.mapped) || (console_override)) {
 		if (!ascii_check(ch)) {
@@ -134,5 +134,5 @@
 	pio_write_32(&uart->io->ucon,
 	    pio_read_32(&uart->io->ucon) & ~UCON_RX_INT_LEVEL);
-	
+
 	link_initialize(&uart->parea.link);
 	uart->parea.pbase = paddr;
@@ -141,5 +141,5 @@
 	uart->parea.mapped = false;
 	ddi_parea_register(&uart->parea);
-	
+
 	if (!fb_exported) {
 		/*
Index: kernel/genarch/src/drivers/via-cuda/cuda.c
===================================================================
--- kernel/genarch/src/drivers/via-cuda/cuda.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/drivers/via-cuda/cuda.c	(revision 615e83d68dc1cfdb51a3e2557d4776a37010a7ca)
@@ -113,5 +113,5 @@
 		instance->irq.preack = true;
 	}
-	
+
 	return instance;
 }
@@ -239,8 +239,8 @@
 	cuda_t *dev = instance->cuda;
 	uint8_t b;
-	
+
 	b = pio_read_8(&dev->b);
 	pio_read_8(&dev->sr);
-	
+
 	if ((b & TREQ) == 0) {
 		instance->xstate = cx_receive;
@@ -250,5 +250,5 @@
 		cuda_send_start(instance);
 	}
-	
+
 	memcpy(buf, instance->rcv_buf, instance->bidx);
 	*len = instance->bidx;