722 |
l4_utcb_area_size_log2 ()); |
l4_utcb_area_size_log2 ()); |
723 |
phys_startup->argz = argz_len ? STARTUP_TO_VIRT (argz) : NULL; |
phys_startup->argz = argz_len ? STARTUP_TO_VIRT (argz) : NULL; |
724 |
phys_startup->argz_len = argz_len; |
phys_startup->argz_len = argz_len; |
725 |
|
phys_startup->envz = NULL; |
726 |
|
phys_startup->envz_len = 0; |
727 |
phys_startup->wortel.server = l4_my_global_id (); |
phys_startup->wortel.server = l4_my_global_id (); |
728 |
phys_startup->wortel.cap_handle = wortel_add_user (mods[mod].task_id); |
phys_startup->wortel.cap_handle = wortel_add_user (mods[mod].task_id); |
729 |
phys_startup->task.server = mods[MOD_TASK].server_thread; |
phys_startup->task.server = mods[MOD_TASK].server_thread; |