205 |
} |
} |
206 |
|
|
207 |
|
|
208 |
|
static void |
209 |
|
bootstrap_final (void) |
210 |
|
{ |
211 |
|
l4_thread_id_t task_server; |
212 |
|
hurd_cap_handle_t task_cap; |
213 |
|
l4_thread_id_t deva_server; |
214 |
|
hurd_cap_handle_t deva_cap; |
215 |
|
|
216 |
|
wortel_bootstrap_final (&task_server, &task_cap, &deva_server, &deva_cap); |
217 |
|
|
218 |
|
/* FIXME: Do something with the task cap. */ |
219 |
|
} |
220 |
|
|
221 |
int |
int |
222 |
main (int argc, char *argv[]) |
main (int argc, char *argv[]) |
223 |
{ |
{ |
250 |
panic ("pthread_create_from_l4_tid_np: %i\n", err); |
panic ("pthread_create_from_l4_tid_np: %i\n", err); |
251 |
pthread_detach (manager); |
pthread_detach (manager); |
252 |
|
|
253 |
|
bootstrap_final (); |
254 |
|
|
255 |
/* FIXME: get root filesystem cap (for loading drivers). */ |
/* FIXME: get root filesystem cap (for loading drivers). */ |
256 |
|
|
257 |
/* FIXME: Eventually, add shutdown support on wortels(?) |
/* FIXME: Eventually, add shutdown support on wortels(?) |