1 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 8f9b1c3..d2fbbf9 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -14,3 +14,18 @@ sysenter0001-yyy-sysenter-prototype.patch
 #vm-cache-policy0003-vm-evict-clean-pages-first.patch
 vm-cache-policy0001-VM-cache-policy-change.patch
 vm-cache-policy0002-Fix-page-cache-accounting.patch
+700001-70_dde.patch.patch
+700002-Disable-disabling-the-irq-via-device_intr_enable.patch
+700003-Rework-comment-on-the-userspace-interrupt-handling.patch
+700004-Some-cleanups-of-the-userspace-interrupt-handling.patch
+700005-Fix-synchronization.patch
+700006-Reorder.patch
+700007-Use-the-slab-allocator.patch
+700008-Fix-reference-counting-use-dead-name-notification.patch
+700009-Fix-xen-build.patch
+700010-Fix-infinite-loop-with-cli-if-netdde-is-killed-with-.patch
+700011-Add-copyright-notices.patch
+700012-i386-add-parts-of-cpu.h-from-x15.patch
+700013-Avoid-cli-sti-in-favor-of-cpu_intr_-save-restore.patch
+700014-include-avoid-generating-unused-client-stubs.patch
+700015-New-kind-of-notification-untested.patch