summaryrefslogtreecommitdiff
path: root/debian/patches
diff options
context:
space:
mode:
Diffstat (limited to 'debian/patches')
-rw-r--r--debian/patches/series20
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