| /trunk/kernel/generic/src/main/kinit.c |
|---|
| 72,6 → 72,10 |
| #include <synch/waitq.h> |
| #include <synch/spinlock.h> |
| #define ALIVE_CHARS 4 |
| static char alive[ALIVE_CHARS] = "-\\|/"; |
| /** Kernel initialization thread. |
| * |
| * kinit takes care of higher level kernel |
| 204,11 → 208,12 |
| #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++; |
| } |