Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 323a5aaf36674c20719d102e0508c32ef466bfa3)
+++ kernel/Makefile	(revision 6e71a9d850aa09eec22b6f079fae6deae5f8cd51)
@@ -91,6 +91,10 @@
 endif
 
-ifeq ($(CONFIG_EDEBUG),y)
-	DEFS += -DCONFIG_EDEBUG
+ifeq ($(CONFIG_LOG),y)
+	DEFS += -DCONFIG_LOG
+endif
+
+ifeq ($(CONFIG_KCONSOLE),y)
+	DEFS += -DCONFIG_KCONSOLE
 endif
 
@@ -237,6 +241,4 @@
 	generic/src/console/chardev.c \
 	generic/src/console/console.c \
-	generic/src/console/kconsole.c \
-	generic/src/console/cmd.c \
 	generic/src/cpu/cpu.c \
 	generic/src/ddi/ddi.c \
@@ -300,4 +302,13 @@
 	generic/src/sysinfo/sysinfo.c
 
+## Kernel console support
+#
+
+ifeq ($(CONFIG_KCONSOLE),y)
+GENERIC_SOURCES += \
+	generic/src/console/kconsole.c \
+	generic/src/console/cmd.c
+endif
+
 ## Udebug interface sources
 #