Index: Makefile
===================================================================
--- Makefile	(revision 7ae44435719a45d52472fa45638d0a67fd5cf700)
+++ Makefile	(revision b524c5e0c4ab2be7669474ed11d7d797b4d5e53b)
@@ -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 \
