diff options
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 |