Rev 4341 | Rev 4344 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4341 | Rev 4342 | ||
|---|---|---|---|
| Line 72... | Line 72... | ||
| 72 | #include <synch/waitq.h> |
72 | #include <synch/waitq.h> |
| 73 | #include <synch/spinlock.h> |
73 | #include <synch/spinlock.h> |
| 74 | 74 | ||
| 75 | #define ALIVE_CHARS 4 |
75 | #define ALIVE_CHARS 4 |
| 76 | 76 | ||
| - | 77 | #ifdef CONFIG_KCONSOLE |
|
| 77 | static char alive[ALIVE_CHARS] = "-\\|/"; |
78 | static char alive[ALIVE_CHARS] = "-\\|/"; |
| - | 79 | #endif |
|
| 78 | 80 | ||
| 79 | /** Kernel initialization thread. |
81 | /** Kernel initialization thread. |
| 80 | * |
82 | * |
| 81 | * kinit takes care of higher level kernel |
83 | * kinit takes care of higher level kernel |
| 82 | * initialization (i.e. thread creation, |
84 | * initialization (i.e. thread creation, |