Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 2689a0ba890434ede8f74c746b6f5d89947db465)
+++ kernel/Makefile	(revision 5882487f18f36ec6b1081462e7a23b41498904f5)
@@ -196,4 +196,5 @@
 	generic/src/console/chardev.c \
 	generic/src/console/console.c \
+	generic/src/console/prompt.c \
 	generic/src/cpu/cpu.c \
 	generic/src/ddi/ddi.c \