summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-02-18 06:52:04 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-02-18 06:52:04 +0100
commita01693d86fc2c5d5335702c6e47c00f2e3181425 (patch)
tree5a186f793976dd9aec9457e63293594d2da99191 /debian/patches/series
parentfaed863b721b58f718e5bbc80ecc398b324dafb7 (diff)
add patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 102e3c8..816e207 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -7,3 +7,4 @@
Add-some-padding-to-make-objects-fit-a-single-cache-.patch
vm_cache_policy.patch
task-load.patch
+0001-kern-avoid-if-0ing-out-thread_collect_scan.patch