Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision 622f40971c4de54afef879c8d7d1bc1e522942ee)
+++ kernel/generic/include/config.h	(revision 55896b6837c19f8fe505af9cbe31069aa02c168b)
@@ -88,8 +88,11 @@
 	size_t stack_size;
 
+	bool identity_configured;
 	/** Base address of the kernel identity mapped memory. */
 	uintptr_t identity_base;
 	/** Size of the kernel identity mapped memory. */
-	size_t identity_size;	    
+	size_t identity_size;
+
+	bool non_identity_configured;   
 } config_t;