Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision d99c1d2ba8c7b2c687d430f2e9fd237046606545)
+++ kernel/generic/include/config.h	(revision c621f4aa64c16cb4d9c2b20dbf5be59c66c25ed3)
@@ -70,8 +70,8 @@
 	
 	uintptr_t base;
-	size_t kernel_size;           /**< Size of memory in bytes taken by kernel and stack */
+	size_t kernel_size;          /**< Size of memory in bytes taken by kernel and stack */
 	
-	uintptr_t stack_base;         /**< Base adddress of initial stack */
-	size_t stack_size;            /**< Size of initial stack */
+	uintptr_t stack_base;        /**< Base adddress of initial stack */
+	size_t stack_size;           /**< Size of initial stack */
 } config_t;