Rev 3790 | Rev 3840 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3790 | Rev 3828 | ||
|---|---|---|---|
| Line 206... | Line 206... | ||
| 206 | if (!stdin) { |
206 | if (!stdin) { |
| 207 | printf("kinit: No stdin\nKernel alive: "); |
207 | printf("kinit: No stdin\nKernel alive: "); |
| 208 | 208 | ||
| 209 | uint64_t i = 0; |
209 | uint64_t i = 0; |
| 210 | while (1) { |
210 | while (1) { |
| 211 | printf(PRIu64 " ", i); |
211 | printf("%" PRIu64 " ", i); |
| 212 | thread_sleep(1); |
212 | thread_sleep(1); |
| 213 | i++; |
213 | i++; |
| 214 | } |
214 | } |
| 215 | } |
215 | } |
| 216 | #endif /* CONFIG_KCONSOLE */ |
216 | #endif /* CONFIG_KCONSOLE */ |