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