add patch series

2 files changed, 26 insertions, 0 deletions

diff --git a/debian/patches/series b/debian/patches/series
index e532dda..b63f0fa 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -13,3 +13,4 @@ vm-cache-policy0001-VM-cache-policy-change.patch
 vm-cache-policy0002-vm-keep-track-of-clean-pages.patch
 vm-cache-policy0003-vm-evict-clean-pages-first.patch
 
+upstreamme0001-kern-bootstrap-deallocate-task.patch
diff --git a/debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch b/debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch
new file mode 100644
index 0000000..7054585
--- /dev/null
+++ b/debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch
@@ -0,0 +1,25 @@
+From 890a2f6228b479fd0a0084d6f7b0d36f43f28b74 Mon Sep 17 00:00:00 2001
+From: Justus Winter <4winter@informatik.uni-hamburg.de>
+Date: Sun, 19 Jul 2015 18:50:29 +0200
+Subject: [PATCH gnumach] kern/bootstrap: deallocate task
+
+* kern/bootstrap.c (boot_script_free_task): Deallocate task.
+---
+ kern/bootstrap.c | 1 +
+ 1 file changed, 1 insertion(+)
+
+diff --git a/kern/bootstrap.c b/kern/bootstrap.c
+index 50388ad..03f4f0f 100644
+--- a/kern/bootstrap.c
++++ b/kern/bootstrap.c
+@@ -836,6 +836,7 @@ boot_script_free_task (task_t task, int aborting)
+ {
+   if (aborting)
+     task_terminate (task);
++  task_deallocate (task);
+ }
+ 
+ int
+-- 
+2.1.4
+