/trunk/kernel/generic/src/main/kinit.c |
---|
70,10 → 70,6 |
#include <synch/waitq.h> |
#include <synch/spinlock.h> |
#ifdef CONFIG_TEST |
#include <test.h> |
#endif /* CONFIG_TEST */ |
/** Kernel initialization thread. |
* |
* kinit takes care of higher level kernel |
154,11 → 150,6 |
interrupts_enable(); |
#ifdef CONFIG_TEST |
test(); |
printf("\nTest finished, please reboot.\n"); |
#else /* CONFIG_TEST */ |
count_t i; |
for (i = 0; i < init.cnt; i++) { |
/* |
194,8 → 185,6 |
printf("kinit... "); |
} |
} |
#endif /* CONFIG_TEST */ |
} |
/** @} |