diff options
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 400b7a4..4a0cde7 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -12,3 +12,13 @@ error-handling0001-kern-gracefully-handle-resource-shortage.patch error-handling0002-vm-gracefully-handle-resource-shortage.patch error-handling0003-kern-gracefully-handle-resource-shortage.patch sysenter0001-yyy-sysenter-prototype.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-cleanup.patch +0007-xxx-drop-code.patch +0008-ipc-inline-key-ipc-entry-lookup-functions.patch +0009-fix-xen-warning.patch +0010-fu-macros.patch |