- master_bootstrap_port = ipc_port_alloc_kernel();
- if (master_bootstrap_port == IP_NULL)
- panic("can't allocate master bootstrap port");
- printf("setting bootstrap port \n");
- task_set_special_port(bootstrap_task,
- TASK_BOOTSTRAP_PORT,
- ipc_port_make_send(master_bootstrap_port));
-
- printf("Setting exception port for the init task\n");
- (void) task_set_exception_ports(get_threadtask(th),
- EXC_MASK_ALL &
- ~(EXC_MASK_SYSCALL |
- EXC_MASK_MACH_SYSCALL | EXC_MASK_RPC_ALERT),
- ux_exception_port,
- EXCEPTION_DEFAULT, 0);
-
-#endif /* FIXME ] */