Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 26c67a8eb4ba0b76cf13eb995623acde141cafa1)
+++ kernel/generic/src/main/kinit.c	(revision 741a7af97a6bf9ef56b7daf5b202cca4bd40abe5)
@@ -73,4 +73,8 @@
 #include <synch/spinlock.h>
 
+#define ALIVE_CHARS  4
+
+static char alive[ALIVE_CHARS] = "-\\|/";
+
 /** Kernel initialization thread.
  *
@@ -205,9 +209,10 @@
 #ifdef CONFIG_KCONSOLE
 	if (!stdin) {
+		thread_sleep(10);
 		printf("kinit: No stdin\nKernel alive: ");
 		
-		uint64_t i = 0;
-		while (1) {
-			printf("%" PRIu64 " ", i);
+		unsigned int i = 0;
+		while (true) {
+			printf("\b%c", alive[i % ALIVE_CHARS]);
 			thread_sleep(1);
 			i++;