712 |
phys_startup->argz_len = argz_len; |
phys_startup->argz_len = argz_len; |
713 |
phys_startup->wortel.server = l4_my_global_id (); |
phys_startup->wortel.server = l4_my_global_id (); |
714 |
phys_startup->wortel.cap_handle = wortel_add_user (mods[mod].task_id); |
phys_startup->wortel.cap_handle = wortel_add_user (mods[mod].task_id); |
715 |
|
phys_startup->task.server = mods[MOD_TASK].server_thread; |
716 |
|
phys_startup->task.cap_handle = mods[mod].task_ctrl; |
717 |
phys_startup->image.server = mods[MOD_PHYSMEM].server_thread; |
phys_startup->image.server = mods[MOD_PHYSMEM].server_thread; |
718 |
phys_startup->image.cap_handle = mods[mod].mem_cont; |
phys_startup->image.cap_handle = mods[mod].mem_cont; |
719 |
phys_startup->mapc = mapc; |
phys_startup->mapc = mapc; |