Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 0949b7ac2d86311384e368ae8974d7298c01d9e8)
+++ kernel/Makefile	(revision b9cb911d917500f6e3b651f8bed352330f8a9839)
@@ -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 \