Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision 21881bd89560b621656e09355bf15dd512a7c207)
+++ kernel/generic/include/config.h	(revision 898e84788b1d147ab48122cb197b9910af5994b2)
@@ -74,12 +74,22 @@
 
 typedef struct {
-	unsigned int cpu_count;      /**< Number of processors detected. */
-	volatile size_t cpu_active;  /**< Number of processors that are up and running. */
+	/** Number of processors detected. */
+	unsigned int cpu_count;
+	/** Number of processors that are up and running. */
+	volatile size_t cpu_active;
 	
 	uintptr_t base;
-	size_t kernel_size;          /**< Size of memory in bytes taken by kernel and stack */
+	/** Size of memory in bytes taken by kernel and stack. */
+	size_t kernel_size;
 	
-	uintptr_t stack_base;        /**< Base adddress of initial stack */
-	size_t stack_size;           /**< Size of initial stack */
+	/** Base adddress of initial stack. */
+	uintptr_t stack_base;
+	/** Size of initial stack. */
+	size_t stack_size;
+
+	/** Base address of the kernel identity mapped memory. */
+	uintptr_t identity_base;
+	/** Size of the kernel identity mapped memory. */
+	size_t identity_size;	    
 } config_t;