Index: kernel/arch/arm32/src/mach/testarm/testarm.c
===================================================================
--- kernel/arch/arm32/src/mach/testarm/testarm.c	(revision 21063c2d25089e16cf80d5afdb1d0db1822696bd)
+++ kernel/arch/arm32/src/mach/testarm/testarm.c	(revision 4f4cae1e8a0b665761aa194ca5d47eba1ad9495a)
@@ -121,5 +121,5 @@
 		}
 	}
-
+	
 	/*
 	 * This is the necessary evil until the userspace driver is entirely
@@ -172,5 +172,5 @@
 	clock();
 	spinlock_lock(&irq->lock);
-
+	
 	/* acknowledge tick */
 	*((uint32_t *) (gxemul_rtc + GXEMUL_RTC_ACK_OFFSET))
@@ -181,11 +181,11 @@
 static void gxemul_timer_irq_init(void)
 {
-        irq_initialize(&gxemul_timer_irq);
-        gxemul_timer_irq.devno = device_assign_devno();
-        gxemul_timer_irq.inr = GXEMUL_TIMER_IRQ;
-        gxemul_timer_irq.claim = gxemul_timer_claim;
-        gxemul_timer_irq.handler = gxemul_timer_irq_handler;
-
-        irq_register(&gxemul_timer_irq);
+	irq_initialize(&gxemul_timer_irq);
+	gxemul_timer_irq.devno = device_assign_devno();
+	gxemul_timer_irq.inr = GXEMUL_TIMER_IRQ;
+	gxemul_timer_irq.claim = gxemul_timer_claim;
+	gxemul_timer_irq.handler = gxemul_timer_irq_handler;
+	
+	irq_register(&gxemul_timer_irq);
 }
 
@@ -198,6 +198,6 @@
 void gxemul_timer_irq_start(void)
 {
-        gxemul_timer_irq_init();
-        gxemul_timer_start(GXEMUL_TIMER_FREQ);
+	gxemul_timer_irq_init();
+	gxemul_timer_start(GXEMUL_TIMER_FREQ);
 }
 
@@ -227,5 +227,5 @@
 	uint32_t sources = gxemul_irqc_get_sources();
 	unsigned int i;
-
+	
 	for (i = 0; i < GXEMUL_IRQ_COUNT; i++) {
 		if (sources & (1 << i)) {