Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision e09d68ab5aa5fe4f5aa0dde9fa751a6fb3d7f2a0)
+++ generic/src/main/main.c	(revision 008029d66eb4ff7b6479bbb71cdd04acc031bb80)
@@ -182,5 +182,5 @@
 	printf("config.cpu_count=%d\n", config.cpu_count);
 	cpu_init();
-
+	
 	calibrate_delay_loop();
 	timeout_init();
@@ -198,5 +198,5 @@
 	if (!k)
 		panic("can't create kernel task\n");
-		
+	
 	/*
 	 * Create the first thread.
@@ -206,5 +206,5 @@
 		panic("can't create kinit thread\n");
 	thread_ready(t);
-
+	
 	/*
 	 * This call to scheduler() will return to kinit,
Index: generic/src/proc/thread.c
===================================================================
--- generic/src/proc/thread.c	(revision e09d68ab5aa5fe4f5aa0dde9fa751a6fb3d7f2a0)
+++ generic/src/proc/thread.c	(revision 008029d66eb4ff7b6479bbb71cdd04acc031bb80)
@@ -270,6 +270,6 @@
 	t->task = task;
 	
-	t->fpu_context_exists=0;
-	t->fpu_context_engaged=0;
+	t->fpu_context_exists = 0;
+	t->fpu_context_engaged = 0;
 	
 	/*
@@ -289,5 +289,5 @@
 	
 	interrupts_restore(ipl);
-
+	
 	return t;
 }