summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-02 23:18:57 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-02 23:18:57 +0200
commitb729fbad76622a759c97013989a7df489addfde8 (patch)
tree0ce7b316d031d0d9925215e8b0f5b968df62939a /debian/patches/series
parenta4a8673373d080d6947a7a026af0ec9932ce96f1 (diff)
add patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series8
1 files changed, 8 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index f77d9059..a1a12371 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -61,3 +61,11 @@ fix-net_rcv_msg.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