Index: generic/include/config.h
===================================================================
--- generic/include/config.h	(revision d9cf9d5f989f341220cb57edb35733010e85153c)
+++ generic/include/config.h	(revision 74d1d662d97be51dd27ddebf15e5725d5eab707a)
@@ -57,4 +57,6 @@
 	size_t memory_size;
 	size_t kernel_size;           /**< Size of memory in bytes taken by kernel and stack */
+	
+	bool mm_initialized;
 } config_t;
 
Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision d9cf9d5f989f341220cb57edb35733010e85153c)
+++ generic/src/main/main.c	(revision 74d1d662d97be51dd27ddebf15e5725d5eab707a)
@@ -82,6 +82,13 @@
 #include <smp/smp.h>
 
-config_t config;	/**< Global configuration structure. */
-init_t init = {0};  	/**< Initial user-space tasks */
+/** Global configuration structure. */
+config_t config = {
+	.mm_initialized = false
+};
+
+/** Initial user-space tasks */
+init_t init = {
+	0
+};
 
 context_t ctx;
@@ -190,4 +197,5 @@
 	page_init();
 	tlb_init();
+	config.mm_initialized = true;
 	arch_post_mm_init();