summaryrefslogtreecommitdiff
path: root/debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch
diff options
context:
space:
mode:
Diffstat (limited to 'debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch')
-rw-r--r--debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch25
1 files changed, 0 insertions, 25 deletions
diff --git a/debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch b/debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch
deleted file mode 100644
index 23892b3..0000000
--- a/debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch
+++ /dev/null
@@ -1,25 +0,0 @@
-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 1/7] 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
-