Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/abs32le/src/abs32le.c	(revision 0c793e2e9c4358a2bb2521d35eb36b273cf0283b)
@@ -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 0c793e2e9c4358a2bb2521d35eb36b273cf0283b)
@@ -43,5 +43,5 @@
 	/* On real hardware this switches the CPU to user
 	   space mode and jumps to kernel_uarg->uspace_entry. */
-	
+
 	while (true);
 }