summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-11-13 16:16:07 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-11-13 16:16:07 +0100
commit2dc04aaecba268b79f79fdfa2484c15bb4a71970 (patch)
tree8029790c2a5bcd6cec710bf96e99e85bc1c61a62 /debian/patches/series
parentdd88ee3755c39d17e11319267cf7bb46a83a7d84 (diff)
add patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series14
1 files changed, 14 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index cfa5c51f..68d7fb27 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -58,3 +58,17 @@ startup-avoid-broken-puts.patch
mach-defpager-fix-build.patch
+0001-Makeconf-handle-the-gnumach-protocol.patch
+0002-proc-gracefully-handle-failure-to-increase-priority.patch
+0003-startup-also-open-console-for-reading.patch
+0004-boot-drop-bootstrap-compat-code.patch
+0005-boot-remove-unused-function-boot_script_read_file.patch
+0006-boot-drop-obsolete-device-procedures.patch
+0007-boot-support-ds_device_get_status-with-flavor-DEV_GE.patch
+0008-boot-implement-pseudo-time-device.patch
+0009-boot-improve-the-demuxer.patch
+0010-Makeconf-handle-the-task_notify-protocol.patch
+0011-proc-register-for-new-task-notifications.patch
+0012-proc-implement-proc_make_task_namespace.patch
+0013-hurd-add-proc_make_task_namespace.patch
+0014-proc-fix-build.patch