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