summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2016-02-11 20:27:17 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2016-02-11 20:27:17 +0100
commitcd915cbbf9d818a7806a32ab0ab6dff95a9683c5 (patch)
treeffa96b94613599b90114914ec5cad6af9398651c /debian/patches/series
parent26c7be302a791c348ef2b35a3d045c302538e147 (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 cdb408e..e10dbc7 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -13,8 +13,5 @@ sysenter0001-yyy-sysenter-prototype.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
-vm-external-fixes0001-vm-remove-unused-field-from-struct-vm_external.patch
-vm-external-fixes0002-vm-allocate-a-large-map-for-all-objects-larger-than-.patch
-vm-external-fixes0003-vm-initialize-external-maps.patch
vm-cache-policy0001-VM-cache-policy-change.patch
vm-cache-policy0002-Fix-page-cache-accounting.patch