Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision c6861f4ee3bcccc5cac3ba55c4c30343391b799d)
+++ generic/src/main/main.c	(revision 802bb951098e87363dbfeefb20f97e4cd0cfc93a)
@@ -162,5 +162,5 @@
 	arch_post_mm_init();
 
-	printf("%s release %s%s%s\n%s\n", project, release, rr_delimiter, revision, copyright);
+	printf("%s, release %s%s%s\n%s\n", project, release, rr_delimiter, revision, copyright);
 	printf("%P: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n",
 		config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024);