Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 00db5bcf2116b6b280589a358583154c4d06a6d7)
+++ 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 \