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