Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision dadb68ea1499f9a46e2d8e787b58c21a0e51bb4b)
+++ generic/src/main/main.c	(revision 3de6dd7a4839361e603eef18d218d6b8fd8419a9)
@@ -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();