Index: init/init.c
===================================================================
--- init/init.c	(revision 25b0e6a7a58aae15fdd78041df3db0d184f6d2ee)
+++ init/init.c	(revision 7e557805bf047a9f3c55433d9e77f3cb63325752)
@@ -28,7 +28,9 @@
 
 #include <unistd.h>
+#include <stdio.h>
 
 int main(int argc, char *argv[])
 {
+	puts("Hello world\n");
 	return 0;
 }