Index: arch/ia32/src/proc/scheduler.c
===================================================================
--- arch/ia32/src/proc/scheduler.c	(revision 76cec1e21a9510de8780a546f59799bc82003d87)
+++ arch/ia32/src/proc/scheduler.c	(revision 3526da33e4658f241dd3248ee12d087085910c92)
@@ -35,4 +35,4 @@
 {
 	CPU->arch.tss->esp0 = (__address) &THREAD->kstack[THREAD_STACK_SIZE-8];
-	CPU->arch.tss->ss0 = selector(KDATA_DES);	
+	CPU->arch.tss->ss0 = selector(KDATA_DES);
 }