/kernel/trunk/generic/src/main/kinit.c |
---|
80,7 → 80,6 |
void kinit(void *arg) |
{ |
thread_t *t; |
task_t *utask; |
/* |
* Detach kinit as nobody will call thread_join_timeout() on it. |
153,6 → 152,14 |
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++) { |
/* |
175,9 → 182,6 |
printf("Init task %zd not started.\n", i); |
} |
#ifdef CONFIG_TEST |
test(); |
#endif /* CONFIG_TEST */ |
if (!stdin) { |
while (1) { |
185,5 → 189,6 |
printf("kinit... "); |
} |
} |
#endif /* CONFIG_TEST */ |
} |