diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-13 16:16:07 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-13 16:16:07 +0100 |
commit | 2dc04aaecba268b79f79fdfa2484c15bb4a71970 (patch) | |
tree | 8029790c2a5bcd6cec710bf96e99e85bc1c61a62 /debian/patches/series | |
parent | dd88ee3755c39d17e11319267cf7bb46a83a7d84 (diff) |
add patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 14 |
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 |