Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 8e3bf3e207ac51e893717b72db643a58917e68d2)
+++ generic/src/main/main.c	(revision 991779c52558b53bfcea5d5b1f7c58ecdc222841)
@@ -88,7 +88,5 @@
 
 /** Global configuration structure. */
-config_t config = {
-	.mm_initialized = false
-};
+config_t config;
 
 /** Initial user-space tasks */
@@ -99,12 +97,12 @@
 context_t ctx;
 
-/**
+/*
  * These 'hardcoded' variables will be intialized by
  * the linker or the low level assembler code with
  * appropriate sizes and addresses.
  */
-__address hardcoded_load_address = 0;
-size_t hardcoded_ktext_size = 0;
-size_t hardcoded_kdata_size = 0;
+__address hardcoded_load_address = 0;	/**< Virtual address of where the kernel is loaded. */
+size_t hardcoded_ktext_size = 0;	/**< Size of the kernel code in bytes. */
+size_t hardcoded_kdata_size = 0;	/**< Size of the kernel data in bytes. */
 
 void main_bsp(void);
@@ -202,5 +200,4 @@
 	page_init();
 	tlb_init();
-	config.mm_initialized = true;
 	arch_post_mm_init();