Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision 10d73d86dccd2e37130c9ce5830e87c02b042a47)
+++ kernel/generic/include/config.h	(revision c18e666457af2dee7b1e5d5be66a683f42f252eb)
@@ -41,7 +41,6 @@
 #define STACK_SIZE  PAGE_SIZE
 
-#define CONFIG_INIT_TASKS 	32
-
-#define CONFIG_TASK_NAME_BUFLEN 32
+#define CONFIG_INIT_TASKS        32
+#define CONFIG_TASK_NAME_BUFLEN  32
 
 typedef struct {
Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 10d73d86dccd2e37130c9ce5830e87c02b042a47)
+++ kernel/generic/src/console/console.c	(revision c18e666457af2dee7b1e5d5be66a683f42f252eb)
@@ -239,5 +239,5 @@
 	spinlock_lock(&klog_lock);
 	
-	if (klog_inited && event_is_subscribed(EVENT_KLOG) && klog_uspace > 0) {
+	if ((klog_inited) && (event_is_subscribed(EVENT_KLOG)) && (klog_uspace > 0)) {
 		event_notify_3(EVENT_KLOG, klog_start, klog_len, klog_uspace);
 		klog_uspace = 0;