Index: kernel/arch/ia64/src/drivers/it.c
===================================================================
--- kernel/arch/ia64/src/drivers/it.c	(revision 24abb85d299db39cc03f429adc41bb1ed4f23e23)
+++ kernel/arch/ia64/src/drivers/it.c	(revision 1033d1fbada20027b76c48da5df9154d3a23932b)
@@ -68,5 +68,5 @@
 		it_irq.handler = it_interrupt;
 		irq_register(&it_irq);
-		
+
 		uint64_t base_freq;
 		base_freq  = ((bootinfo->freq_scale) & FREQ_NUMERATOR_MASK) >>
@@ -75,22 +75,22 @@
 		base_freq /= ((bootinfo->freq_scale) & FREQ_DENOMINATOR_MASK) >>
 		    FREQ_DENOMINATOR_SHIFT;
-		
+
 		it_delta = base_freq / HZ;
 	}
-	
+
 	/* Initialize Interval Timer external interrupt vector */
 	cr_itv_t itv;
-	
+
 	itv.value = itv_read();
 	itv.vector = INTERRUPT_TIMER;
 	itv.m = 0;
 	itv_write(itv.value);
-	
+
 	/* Set Interval Timer Counter to zero */
 	itc_write(0);
-	
+
 	/* Generate first Interval Timer interrupt in IT_DELTA ticks */
 	itm_write(IT_DELTA);
-	
+
 	/* Propagate changes */
 	srlz_d();
@@ -113,11 +113,11 @@
 {
 	eoi_write(EOI);
-	
+
 	int64_t itm = itm_read();
-	
+
 	while (true) {
 		int64_t itc = itc_read();
 		itc += IT_SERVICE_CLOCKS;
-		
+
 		itm += IT_DELTA;
 		if (itm - itc < 0)
@@ -126,8 +126,8 @@
 			break;
 	}
-	
+
 	itm_write(itm);
 	srlz_d();  /* Propagate changes */
-	
+
 	/*
 	 * We are holding a lock which prevents preemption.
Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision 24abb85d299db39cc03f429adc41bb1ed4f23e23)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision 1033d1fbada20027b76c48da5df9154d3a23932b)
@@ -49,8 +49,8 @@
 	/** Interval between polling in microseconds */
 	POLL_INTERVAL = 10000,  /* 0.01 s */
-	
+
 	/** Max. number of characters to pull out at a time */
 	POLL_LIMIT = 30,
-	
+
 	SKI_INIT_CONSOLE = 20,
 	SKI_GETCHAR      = 21,
@@ -82,15 +82,15 @@
 {
 	uint64_t ch;
-	
+
 	asm volatile (
 		"mov r15 = %1\n"
 		"break 0x80000;;\n"  /* modifies r8 */
 		"mov %0 = r8;;\n"
-		
+
 		: "=r" (ch)
 		: "i" (SKI_GETCHAR)
 		: "r15", "r8"
 	);
-	
+
 	return (wchar_t) ch;
 }
@@ -103,11 +103,11 @@
 {
 	int count = POLL_LIMIT;
-	
+
 	while (count > 0) {
 		wchar_t ch = ski_getchar();
-		
+
 		if (ch == '\0')
 			break;
-		
+
 		indev_push_character(instance->srlnin, ch);
 		--count;
@@ -119,5 +119,5 @@
 {
 	ski_instance_t *instance = (ski_instance_t *) arg;
-	
+
 	while (true) {
 		// TODO FIXME:
@@ -126,5 +126,5 @@
 		if (console_override)
 			poll_keyboard(instance);
-		
+
 		thread_usleep(POLL_INTERVAL);
 	}
@@ -141,5 +141,5 @@
 	if (instance)
 		return;
-	
+
 	asm volatile (
 		"mov r15 = %0\n"
@@ -149,11 +149,11 @@
 		: "r15", "r8"
 	);
-	
+
 	instance = malloc(sizeof(ski_instance_t), FRAME_ATOMIC);
-	
+
 	if (instance) {
 		instance->thread = thread_create(kskipoll, instance, TASK,
 		    THREAD_FLAG_UNCOUNTED, "kskipoll");
-		
+
 		if (!instance->thread) {
 			free(instance);
@@ -161,5 +161,5 @@
 			return;
 		}
-		
+
 		instance->srlnin = NULL;
 	}
@@ -196,5 +196,5 @@
 			if (ch == '\n')
 				ski_do_putchar('\r');
-			
+
 			ski_do_putchar(ch);
 		} else
@@ -208,12 +208,12 @@
 	if (!instance)
 		return NULL;
-	
+
 	outdev_t *skidev = malloc(sizeof(outdev_t), FRAME_ATOMIC);
 	if (!skidev)
 		return NULL;
-	
+
 	outdev_initialize("skidev", skidev, &skidev_ops);
 	skidev->data = instance;
-	
+
 	if (!fb_exported) {
 		/*
@@ -224,8 +224,8 @@
 		sysinfo_set_item_val("fb", NULL, true);
 		sysinfo_set_item_val("fb.kind", NULL, 6);
-		
+
 		fb_exported = true;
 	}
-	
+
 	return skidev;
 }
@@ -241,8 +241,8 @@
 	assert(instance);
 	assert(srlnin);
-	
+
 	instance->srlnin = srlnin;
 	thread_ready(instance->thread);
-	
+
 	sysinfo_set_item_val("kbd", NULL, true);
 	sysinfo_set_item_val("kbd.type", NULL, KBD_SKI);