Index: kernel/generic/src/lib/string.c
===================================================================
--- kernel/generic/src/lib/string.c	(revision 561db3f87662526e5b14ca49efc6c1229d0a8a2b)
+++ kernel/generic/src/lib/string.c	(revision e762b4375e99a4a33536330659ad95ea048dbf84)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup generic	
+/** @addtogroup generic
  * @{
  */
@@ -33,5 +33,5 @@
 /**
  * @file
- * @brief	Miscellaneous functions.
+ * @brief Miscellaneous functions.
  */
 
@@ -48,4 +48,5 @@
  *
  * @return Number of characters in str.
+ *
  */
 size_t strlen(const char *str)
@@ -53,6 +54,5 @@
 	int i;
 	
-	for (i = 0; str[i]; i++)
-		;
+	for (i = 0; str[i]; i++);
 	
 	return i;
@@ -81,6 +81,8 @@
 	if (*src == *dst)
 		return 0;
+	
 	if (!*src)
 		return -1;
+	
 	return 1;
 }
@@ -108,11 +110,15 @@
 		if (*src < *dst)
 			return -1;
+		
 		if (*src > *dst)
 			return 1;
 	}
+	
 	if (i == len || *src == *dst)
 		return 0;
+	
 	if (!*src)
 		return -1;
+	
 	return 1;
 }
@@ -126,17 +132,18 @@
  * last copied character.
  *
- * @param src Source string.
+ * @param src  Source string.
  * @param dest Destination buffer.
- * @param len Size of destination buffer.
+ * @param len  Size of destination buffer.
+ *
  */
 void strncpy(char *dest, const char *src, size_t len)
 {
 	unsigned int i;
-
+	
 	for (i = 0; i < len; i++) {
 		if (!(dest[i] = src[i]))
 			return;
 	}
-
+	
 	dest[i - 1] = '\0';
 }
@@ -144,16 +151,17 @@
 /** Find first occurence of character in string.
  *
- * @param s	String to search.
- * @param i	Character to look for.
+ * @param s String to search.
+ * @param i Character to look for.
  *
- * @return	Pointer to character in @a s or NULL if not found.
+ * @return Pointer to character in @a s or NULL if not found.
  */
 extern char *strchr(const char *s, int i)
 {
 	while (*s != '\0') {
-		if (*s == i) return (char *) s;
+		if (*s == i)
+			return (char *) s;
 		++s;
 	}
-
+	
 	return NULL;
 }
Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 561db3f87662526e5b14ca49efc6c1229d0a8a2b)
+++ kernel/generic/src/main/kinit.c	(revision e762b4375e99a4a33536330659ad95ea048dbf84)
@@ -33,5 +33,5 @@
 /**
  * @file
- * @brief	Kernel initialization thread.
+ * @brief Kernel initialization thread.
  *
  * This file contains kinit kernel thread which carries out
@@ -81,6 +81,6 @@
 #endif
 
-#define BOOT_PREFIX		"boot:"
-#define BOOT_PREFIX_LEN		5
+#define BOOT_PREFIX      "boot:"
+#define BOOT_PREFIX_LEN  5
 
 /** Kernel initialization thread.
@@ -98,13 +98,13 @@
 	thread_t *thread;
 #endif
-
+	
 	/*
 	 * Detach kinit as nobody will call thread_join_timeout() on it.
 	 */
 	thread_detach(THREAD);
-
+	
 	interrupts_disable();
-
-#ifdef CONFIG_SMP		 	
+	
+#ifdef CONFIG_SMP
 	if (config.cpu_count > 1) {
 		waitq_initialize(&ap_completion_wq);
@@ -126,7 +126,5 @@
 		thread_detach(thread);
 	}
-#endif /* CONFIG_SMP */
-	
-#ifdef CONFIG_SMP
+	
 	if (config.cpu_count > 1) {
 		count_t i;
@@ -144,5 +142,4 @@
 			} else
 				printf("Unable to create kcpulb thread for cpu" PRIc "\n", i);
-
 		}
 	}
@@ -153,5 +150,5 @@
 	 */
 	arch_post_smp_init();
-
+	
 #ifdef CONFIG_KCONSOLE
 	if (stdin) {
@@ -180,15 +177,17 @@
 			continue;
 		}
-
+		
 		/*
 		 * Construct task name from the 'boot:' prefix and the
 		 * name stored in the init structure (if any).
 		 */
-
-		char namebuf[TASK_NAME_BUFLEN], *name;
-
+		
+		char namebuf[TASK_NAME_BUFLEN];
+		char *name;
+		
 		name = init.tasks[i].name;
-		if (name[0] == '\0') name = "<unknown>";
-
+		if (name[0] == '\0')
+			name = "<unknown>";
+		
 		ASSERT(TASK_NAME_BUFLEN >= BOOT_PREFIX_LEN);
 		strncpy(namebuf, BOOT_PREFIX, TASK_NAME_BUFLEN);
@@ -234,5 +233,5 @@
 		}
 	}
-
+	
 #ifdef CONFIG_KCONSOLE
 	if (!stdin) {