Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 0867321c69ae9c3f09757e7ced1c100a578f28e3)
+++ kernel/generic/src/main/kinit.c	(revision eddf924f5f99dc38d90f38b3639bf6757299c64b)
@@ -210,5 +210,5 @@
 	if (!stdin) {
 		thread_sleep(10);
-		printf("kinit: No stdin\nKernel alive: ");
+		printf("kinit: No stdin\nKernel alive: .");
 		
 		unsigned int i = 0;