Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 2689a0ba890434ede8f74c746b6f5d89947db465)
+++ kernel/Makefile	(revision 3795f9c7b395df216569d51f84fce8f0f98472f2)
@@ -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 \