summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-06-28 13:04:48 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-06-28 13:04:48 +0200
commit4472c8ac45253bb3eec6f9ceaec70a7511b03d21 (patch)
tree31b49c19037f09494adfc8f72c8011e629b66d24 /debian/patches/series
parent9b16755862e0e2c1a1e8e9f87f3c9a185e9b7107 (diff)
add patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series3
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index fa6ae31..47e1d99 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -12,3 +12,6 @@ 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
+immc0001-i386-add-comment.patch
+immc0002-i386-improve-the-immediate-console.patch
+immc0003-ddb-automatically-display-stack-traces.patch