1 files changed, 28 insertions, 0 deletions
diff --git a/debian/patches/upstreamme0002-kern-bootstrap-deallocate-thread.patch b/debian/patches/upstreamme0002-kern-bootstrap-deallocate-thread.patch
new file mode 100644
index 0000000..e721118
--- /dev/null
+++ b/debian/patches/upstreamme0002-kern-bootstrap-deallocate-thread.patch
@@ -0,0 +1,28 @@
+From b96414a4edc81821f84ead68cb936a6315c37a2d Mon Sep 17 00:00:00 2001
+From: Justus Winter <4winter@informatik.uni-hamburg.de>
+Date: Mon, 20 Jul 2015 20:23:46 +0200
+Subject: [PATCH gnumach 2/5] kern/bootstrap: deallocate thread
+
+Previously, killing the thread would fail because of the extra
+reference, making task_terminate loop forever.
+
+* kern/bootstrap.c (boot_script_exec_command): Deallocate thread.
+---
+ kern/bootstrap.c | 1 +
+ 1 file changed, 1 insertion(+)
+
+diff --git a/kern/bootstrap.c b/kern/bootstrap.c
+index 03f4f0f..cb0f976 100644
+--- a/kern/bootstrap.c
++++ b/kern/bootstrap.c
+@@ -736,6 +736,7 @@ boot_script_exec_cmd (void *hook, task_t task, char *path, int argc,
+ 	  simple_lock (&info.lock);
+ 	}
+       simple_unlock (&info.lock);
++      thread_deallocate (thread);
+       printf ("\n");
+     }
+ 
+-- 
+2.1.4
+