Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision e45a3b956a50d651b4b2367622385152bfc43b08)
+++ kernel/generic/include/config.h	(revision d6b8e9d8308224879651543b1f013b54577eb27b)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup generic	
+/** @addtogroup generic
  * @{
  */
@@ -39,7 +39,7 @@
 #include <arch/mm/page.h>
 
-#define STACK_SIZE		PAGE_SIZE
+#define STACK_SIZE  PAGE_SIZE
 
-#define CONFIG_INIT_TASKS	32
+#define CONFIG_INIT_TASKS  32
 
 typedef struct {
@@ -64,12 +64,12 @@
 
 typedef struct {
-	count_t cpu_count;		/**< Number of processors detected. */
-	volatile count_t cpu_active;	/**< Number of processors that are up and running. */
-
+	count_t cpu_count;            /**< Number of processors detected. */
+	volatile count_t cpu_active;  /**< Number of processors that are up and running. */
+	
 	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;