| /branches/rcu/kernel/generic/src/main/main.c |
|---|
| 246,8 → 246,6 |
| task_init(); |
| thread_init(); |
| futex_init(); |
| klog_init(); |
| if (init.cnt > 0) { |
| 257,6 → 255,7 |
| init.tasks[i].size); |
| } else |
| printf("No init binaries found\n"); |
| ipc_init(); |
| /* |
| 274,7 → 273,6 |
| panic("can't create kinit thread\n"); |
| thread_ready(t); |
| //tasklets disabled for debugging purposes |
| tasklet_run_tasklet_thread(k); |
| /* |