/kernel/trunk/generic/src/main/kinit.c |
---|
80,6 → 80,7 |
void kinit(void *arg) |
{ |
thread_t *t; |
task_t *utask; |
/* |
* Detach kinit as nobody will call thread_join_timeout() on it. |
151,15 → 152,7 |
panic("thread_create/kconsole\n"); |
interrupts_enable(); |
#ifdef CONFIG_TEST |
test(); |
printf("\nTest finished, please reboot\n"); |
while(1) |
; |
#else /* CONFIG_TEST */ |
task_t *utask; |
count_t i; |
for (i = 0; i < init.cnt; i++) { |
/* |
182,6 → 175,9 |
printf("Init task %zd not started.\n", i); |
} |
#ifdef CONFIG_TEST |
test(); |
#endif /* CONFIG_TEST */ |
if (!stdin) { |
while (1) { |
189,6 → 185,5 |
printf("kinit... "); |
} |
} |
#endif /* CONFIG_TEST */ |
} |