Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/abs32le/src/abs32le.c	(revision e0a4686ebb68dd7d42dd083c5ea6c37d6ced027d)
@@ -65,5 +65,5 @@
 		/* Initialize IRQ routing */
 		irq_init(0, 0);
-		
+
 		/* Merge all memory zones to 1 big zone */
 		zone_merge_all();
Index: kernel/arch/abs32le/src/userspace.c
===================================================================
--- kernel/arch/abs32le/src/userspace.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/abs32le/src/userspace.c	(revision e0a4686ebb68dd7d42dd083c5ea6c37d6ced027d)
@@ -43,5 +43,5 @@
 	/* On real hardware this switches the CPU to user
 	   space mode and jumps to kernel_uarg->uspace_entry. */
-	
+
 	while (true);
 }