1 files changed, 37 insertions, 0 deletions
diff --git a/debian/patches/0002-ipc-use-ikm-cache-for-kernel-messages.patch b/debian/patches/0002-ipc-use-ikm-cache-for-kernel-messages.patch
new file mode 100644
index 0000000..3c289ff
--- /dev/null
+++ b/debian/patches/0002-ipc-use-ikm-cache-for-kernel-messages.patch
@@ -0,0 +1,37 @@
+From 286be1ce09a0c74bc6c1519005ba7d08b5138a25 Mon Sep 17 00:00:00 2001
+From: Justus Winter <4winter@informatik.uni-hamburg.de>
+Date: Wed, 17 Dec 2014 14:47:19 +0100
+Subject: [PATCH gnumach 2/2] ipc: use ikm cache for kernel messages
+
+---
+ ipc/ipc_kmsg.c | 5 ++---
+ 1 file changed, 2 insertions(+), 3 deletions(-)
+
+diff --git a/ipc/ipc_kmsg.c b/ipc/ipc_kmsg.c
+index 04cdbc9..c26569b 100644
+--- a/ipc/ipc_kmsg.c
++++ b/ipc/ipc_kmsg.c
+@@ -544,10 +544,9 @@ ipc_kmsg_get_from_kernel(
+ 	assert(size >= sizeof(mach_msg_header_t));
+ 	assert((size & 3) == 0);
+ 
+-	kmsg = ikm_alloc(size);
++	kmsg = ikm_cache_get (size);
+ 	if (kmsg == IKM_NULL)
+ 		return MACH_SEND_NO_BUFFER;
+-	ikm_init(kmsg, size);
+ 
+ 	memcpy(&kmsg->ikm_header, msg, size);
+ 
+@@ -611,7 +610,7 @@ ipc_kmsg_put_to_kernel(
+ 
+ 	memcpy(msg, &kmsg->ikm_header, size);
+ 
+-	ikm_free(kmsg);
++	ikm_cache_put (kmsg);
+ }
+ 
+ /*
+-- 
+2.1.3
+