Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 1f0d2ee9eb86b0f6395841b771d76d9444ffb9be)
+++ kernel/Makefile	(revision 558c2bd3829cfdec2df731de6c16b31092b3ac79)
@@ -89,4 +89,8 @@
 ifeq ($(CONFIG_DEBUG),y)
 	DEFS += -DCONFIG_DEBUG
+endif
+
+ifeq ($(CONFIG_EDEBUG),y)
+	DEFS += -DCONFIG_EDEBUG
 endif
 
@@ -218,5 +222,4 @@
 	generic/src/console/console.c \
 	generic/src/console/kconsole.c \
-	generic/src/console/klog.c \
 	generic/src/console/cmd.c \
 	generic/src/cpu/cpu.c \