Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision af863d0df32b98f1005d2470e2de1d3e71a445e6)
+++ kernel/Makefile	(revision 9a1b20c34d5404b8272209d06c0239aa1a2384da)
@@ -149,4 +149,8 @@
 		DEFS += -DCONFIG_VESA_BPP=$(CONFIG_VESA_BPP)
 	endif
+endif
+
+ifeq ($(CONFIG_UDEBUG),y)
+	DEFS += -DCONFIG_UDEBUG
 endif
 
@@ -284,4 +288,15 @@
 	generic/src/sysinfo/sysinfo.c
 
+## Udebug interface sources
+#
+
+ifeq ($(CONFIG_UDEBUG),y)
+GENERIC_SOURCES += \
+	generic/src/ipc/ipc_kbox.c \
+	generic/src/udebug/udebug.c \
+	generic/src/udebug/udebug_ops.c \
+	generic/src/udebug/udebug_ipc.c
+endif
+
 ## Test sources
 #