Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 0949b7ac2d86311384e368ae8974d7298c01d9e8)
+++ kernel/Makefile	(revision 30c08260b42b92e158e687ba64c4b4cc6561218e)
@@ -197,4 +197,5 @@
 	generic/src/console/chardev.c \
 	generic/src/console/console.c \
+	generic/src/console/prompt.c \
 	generic/src/cpu/cpu.c \
 	generic/src/cpu/cpu_mask.c \