Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision cdda4037f42f9ae03b8225092f1ce509b86f565e)
+++ 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;