summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-04-08 17:18:25 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-04-08 17:18:25 +0200
commit7cbaf7fc429e1681b97a3f677c2bea5097319787 (patch)
tree9dd5ceaf42e00ae60048ba724ac6650bc5c1a70c /debian/patches/series
parentacc9c8c8a5ba2fb32fdbc5f6e97c56ac26606532 (diff)
add patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series7
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 53de520..eefbead 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -8,3 +8,10 @@ vm_cache_policy.patch
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