summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-18 16:48:48 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-18 16:48:48 +0200
commit8bbccb93cc9d854c199c2033051c63597949cfa6 (patch)
tree555860bf366a7b1294d0a9ce73c028763f502cbc /debian/patches/series
parent2f525182a13a982d6ae6000c887eb4c0d3fd2e26 (diff)
drop old patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series4
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 46853b7..029e46a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -10,10 +10,6 @@ task-load.patch
reorder-ipc_port.patch
sysenter0001-yyy-sysenter-prototype.patch
-fix-locking0001-kern-disable-the-simple-lock-checks-while-debugging.patch
-fix-locking0002-kern-improve-simple-lock-debugging.patch
-fix-locking0003-kern-keep-track-of-the-writer-when-debugging-locks.patch
-fix-locking0004-vm-fix-locking-issues.patch
vm-cache-policy0001-VM-cache-policy-change.patch
vm-cache-policy0002-vm-keep-track-of-clean-pages.patch
vm-cache-policy0003-vm-evict-clean-pages-first.patch