diff options
Diffstat (limited to 'debian/patches')
| -rw-r--r-- | debian/patches/series | 1 | ||||
| -rw-r--r-- | debian/patches/upstreamme0001-kern-bootstrap-deallocate-task.patch | 25 |
2 files changed, 0 insertions, 26 deletions
diff --git a/debian/patches/series b/debian/patches/series index b63f0fa..e532dda 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -13,4 +13,3 @@ 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 deleted file mode 100644 index 7054585..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] 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 - |