summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-18 20:30:27 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-18 20:30:27 +0200
commitcef56f52ca4c58e27f8ff2991a7fcdfd40764451 (patch)
tree555860bf366a7b1294d0a9ce73c028763f502cbc /debian/patches/series
parent852a54f85c30ebcf56d8e4deb41dd47a018b8a3b (diff)
drop old patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series3
1 files changed, 0 insertions, 3 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 2748fa8..029e46a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -10,9 +10,6 @@ task-load.patch
reorder-ipc_port.patch
sysenter0001-yyy-sysenter-prototype.patch
-fix-locking0001-vm-collapse-unreachable-branch-into-assertion.patch
-fix-locking0002-i386-fix-panic-message.patch
-fix-locking0003-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