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