Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision dadb68ea1499f9a46e2d8e787b58c21a0e51bb4b)
+++ generic/src/main/main.c	(revision a6cb8cb97c5c7102783c146df88c9c7cb21b82c6)
@@ -198,5 +198,5 @@
 	tlb_init();
 	config.mm_initialized = true;
-	arch_post_mm_init();	
+	arch_post_mm_init();
 
 	version_print();
@@ -213,4 +213,5 @@
 	
 	calibrate_delay_loop();
+	clock_counter_init();
 	timeout_init();
 	scheduler_init();