diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-09-02 23:18:57 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-09-02 23:18:57 +0200 |
commit | b729fbad76622a759c97013989a7df489addfde8 (patch) | |
tree | 0ce7b316d031d0d9925215e8b0f5b968df62939a /debian/patches/series | |
parent | a4a8673373d080d6947a7a026af0ec9932ce96f1 (diff) |
add patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 8 |
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 |