diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-02-13 21:30:37 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-02-13 21:30:37 +0100 |
| commit | cdcee53af28c059738b50245aa2104317438ed36 (patch) | |
| tree | 759f83422c02e55d92298b1056fbf7a2f526c2c1 /debian | |
| parent | da9a79a2f0b1e6b4ab102ec36e71aba1626103ab (diff) | |
drop non-functional patch
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/patches/fix-new-task-notification.patch | 16 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 0 insertions, 17 deletions
diff --git a/debian/patches/fix-new-task-notification.patch b/debian/patches/fix-new-task-notification.patch deleted file mode 100644 index 65d6172..0000000 --- a/debian/patches/fix-new-task-notification.patch +++ /dev/null @@ -1,16 +0,0 @@ -diff --git a/kern/task.c b/kern/task.c -index a11fb8e..8eb2244 100644 ---- a/kern/task.c -+++ b/kern/task.c -@@ -177,10 +177,8 @@ kern_return_t task_create( - task_reference (new_task); - task_reference (parent_task); - mach_notify_new_task (new_task_notification, -- convert_task_to_port (new_task), -- convert_task_to_port (parent_task)); -+ new_task, parent_task); - } -- - ipc_task_enable(new_task); - - *child_task = new_task; diff --git a/debian/patches/series b/debian/patches/series index 14a4242..7b52438 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -8,4 +8,3 @@ Add-some-padding-to-make-objects-fit-a-single-cache-.patch vm_cache_policy.patch task-load.patch 0001-kern-fix-the-scheduler.patch -fix-new-task-notification.patch |