diff options
| -rw-r--r-- | debian/patches/make_send_right.patch | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/debian/patches/make_send_right.patch b/debian/patches/make_send_right.patch index 6b2501f..5ed3450 100644 --- a/debian/patches/make_send_right.patch +++ b/debian/patches/make_send_right.patch @@ -1,5 +1,5 @@ diff --git a/kern/bootstrap.c b/kern/bootstrap.c -index d919e90..ff0d0ea 100644 +index d919e90..fe17c80 100644 --- a/kern/bootstrap.c +++ b/kern/bootstrap.c @@ -98,7 +98,7 @@ task_insert_send_right( @@ -7,7 +7,23 @@ index d919e90..ff0d0ea 100644 kr = mach_port_insert_right(task->itk_space, name, - port, MACH_MSG_TYPE_PORT_SEND); -+ port, MACH_MSG_TYPE_COPY_SEND); ++ port, MACH_MSG_TYPE_MAKE_SEND); if (kr == KERN_SUCCESS) break; assert(kr == KERN_NAME_EXISTS); +@@ -155,13 +155,13 @@ void bootstrap_create(void) + /* Initialize boot script variables. We leak these send rights. */ + losers = boot_script_set_variable + ("host-port", VAL_PORT, +- (long)ipc_port_make_send(realhost.host_priv_self)); ++ (long) realhost.host_priv_self); + if (losers) + panic ("cannot set boot-script variable host-port: %s", + boot_script_error_string (losers)); + losers = boot_script_set_variable + ("device-port", VAL_PORT, +- (long) ipc_port_make_send(master_device_port)); ++ (long) master_device_port); + if (losers) + panic ("cannot set boot-script variable device-port: %s", + boot_script_error_string (losers)); |