summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-12-09 11:00:35 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-12-09 11:00:35 +0100
commitfd015781614b0ee9128f5a05941cf70585596b54 (patch)
tree72c5e5d42590d9d0f0445c9ee00cbe45a79f6ebd /debian/patches/series
parent5be4b38ddb241e76c2b5dc6da9471fc109a06a56 (diff)
add patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series5
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 492399cb..3cda6e14 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -44,3 +44,8 @@ startup-avoid-broken-puts.patch
pfinet_dhcp.patch
libports-payloads.patch
+0001-Makeconf-handle-the-task_notify-protocol.patch
+0002-proc-register-for-new-task-notifications.patch
+0003-proc-implement-proc_make_task_namespace.patch
+0004-hurd-add-proc_make_task_namespace.patch
+0005-proc-fix-build.patch