Index: Makefile
===================================================================
--- Makefile	(revision 7ae44435719a45d52472fa45638d0a67fd5cf700)
+++ Makefile	(revision 5fe5f1e32929f169590b1157e7ea82b24585e0f0)
@@ -107,4 +107,5 @@
 	generic/src/main/kinit.c \
 	generic/src/main/uinit.c \
+	generic/src/main/version.c \
 	generic/src/proc/scheduler.c \
 	generic/src/proc/thread.c \