From 610efdc69e0d87cac141a323e60fbb6af57b3ed5 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Fri, 26 Sep 2014 10:42:09 +0200
Subject: add make_send_right.patch

---
 debian/patches/make_send_right.patch | 13 +++++++++++++
 debian/patches/series                |  1 +
 2 files changed, 14 insertions(+)
 create mode 100644 debian/patches/make_send_right.patch

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
-- 
cgit v1.2.3