diff options
Diffstat (limited to 'debian/patches')
-rw-r--r-- | debian/patches/series | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/debian/patches/series b/debian/patches/series index 45f65044..0e06799b 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,3 +1,13 @@ +0001-libdiskfs-fix-servers-exec-lookup.patch +0002-Add-proc_set_init_task-make-runsystem-pid-1.patch +0003-startup-rename-init-to-startup.patch +0004-Add-a-minimalist-init-program.patch +0005-startup-do-not-pass-signals-on-to-the-child.patch +0006-startup-be-more-specific-in-the-shutdown-message.patch +0007-startup-fix-the-declaration-of-the-_server-functions.patch +0008-poc-servers-startup.patch +libexec-splitinit.patch + # David Michael's patches #david-add-random.patch #half merged @@ -59,13 +69,3 @@ fix-net_rcv_msg.patch #pp.patch #pp-dde.patch #pp-random.patch - -0001-libdiskfs-fix-servers-exec-lookup.patch -0002-Add-proc_set_init_task-make-runsystem-pid-1.patch -0003-startup-rename-init-to-startup.patch -0004-Add-a-minimalist-init-program.patch -0005-startup-do-not-pass-signals-on-to-the-child.patch -0006-startup-be-more-specific-in-the-shutdown-message.patch -0007-startup-fix-the-declaration-of-the-_server-functions.patch -0008-poc-servers-startup.patch -libexec-splitinit.patch |