diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-09-26 10:42:09 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-09-26 10:42:09 +0200 |
| commit | 610efdc69e0d87cac141a323e60fbb6af57b3ed5 (patch) | |
| tree | fb8f074becb78adc5d1437ae61ca12735e82c1fe /debian | |
| parent | ca48760e84f6a779f4b679c3aef24b5c2b7a4657 (diff) | |
add make_send_right.patch
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/patches/make_send_right.patch | 13 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 14 insertions, 0 deletions
diff --git a/debian/patches/make_send_right.patch b/debian/patches/make_send_right.patch new file mode 100644 index 0000000..e78dc0f --- /dev/null +++ b/debian/patches/make_send_right.patch @@ -0,0 +1,13 @@ +diff --git a/kern/bootstrap.c b/kern/bootstrap.c +index d919e90..d863d0f 100644 +--- a/kern/bootstrap.c ++++ b/kern/bootstrap.c +@@ -98,7 +98,7 @@ task_insert_send_right( + kern_return_t kr; + + kr = mach_port_insert_right(task->itk_space, name, +- port, MACH_MSG_TYPE_PORT_SEND); ++ port, MACH_MSG_TYPE_MAKE_SEND); + if (kr == KERN_SUCCESS) + break; + assert(kr == KERN_NAME_EXISTS); diff --git a/debian/patches/series b/debian/patches/series index 9784da8..d5d6e53 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -8,3 +8,4 @@ protected_payload.patch Add-some-padding-to-make-objects-fit-a-single-cache-.patch 0002-ddb-add-db_check_task_address_valid.patch 0003-ddb-add-kill-command.patch +make_send_right.patch |