From e1f5eff1bc535368306700e97a4e6b7dea3d4eb7 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Mon, 13 Apr 2015 16:29:00 +0200
Subject: add patch series

---
 debian/patches/series | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'debian/patches/series')

diff --git a/debian/patches/series b/debian/patches/series
index 401dc36..eb09925 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -8,3 +8,12 @@
 #vm_page_cleanq.patch
 task-load.patch
 reorder-ipc_port.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
+0008-xxx-use-a-rbtree-for-reverse-lookups.patch
+0009-kern-fix-comment.patch
-- 
cgit v1.2.3