Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision bb68433fea16aec0b0b4240149c9c3e8fb347b34)
+++ generic/src/main/main.c	(revision f5df72d6ee2b2a850f6106febd8827f8a95c5c67)
@@ -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,