From eb884404bcfeafdefc4b2f88effdb444bca1961f Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Thu, 14 May 2015 16:57:35 +0200
Subject: drop old patch series

---
 debian/patches/series | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'debian/patches/series')

diff --git a/debian/patches/series b/debian/patches/series
index 613ba76..582a3ac 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -11,13 +11,6 @@ reorder-ipc_port.patch
 error-handling0001-kern-gracefully-handle-resource-shortage.patch
 error-handling0002-vm-gracefully-handle-resource-shortage.patch
 error-handling0003-kern-gracefully-handle-resource-shortage.patch
-0001-kern-import-macros.h-from-x15.patch
-0002-kern-add-radix-tree-library.patch
-0003-ipc-undo-manual-inlining-of-ipc_entry_X-functions.patch
-0004-ipc-replace-reverse-hash-table-with-a-radix-tree.patch
-0005-ipc-replace-the-IPC-table-with-a-radix-tree.patch
-0006-xxx-drop-cleanup-unused-code.patch
-0007-ipc-inline-key-ipc-entry-lookup-functions.patch
 sysenter0001-xxx-sysenter-prototype.patch
 sysenter0002-use-pcb-stack.patch
 sysenter0003-XXX-i386-less-magic.patch
-- 
cgit v1.2.3