Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision 0fa6044030c5c9175f76bf5a500b45f6f66598e6)
+++ kernel/generic/include/config.h	(revision e11ae91fc3a4227bcea74717abb36d585ceb5627)
@@ -64,5 +64,5 @@
 	size_t kernel_size;		/**< Size of memory in bytes taken by kernel and stack */
 	
-	uintptr_t stack_base;	/**< Base adddress of initial stack */
+	uintptr_t stack_base;		/**< Base adddress of initial stack */
 	size_t stack_size;		/**< Size of initial stack */
 } config_t;