Index: Makefile
===================================================================
--- Makefile	(revision feb1a4141fd0d63c75a526e5c9edb96d92157e55)
+++ Makefile	(revision 607c5f9ed835a2f0301c7d609f3e38c0d5e4dc77)
@@ -94,6 +94,9 @@
 
 GENERIC_SOURCES = \
+	generic/src/console/chardev.c \
+	generic/src/console/console.c \
 	generic/src/cpu/cpu.c \
 	generic/src/main/main.c \
+	generic/src/main/kconsole.c \
 	generic/src/main/kinit.c \
 	generic/src/main/uinit.c \
