diff options
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/debian/patches/series b/debian/patches/series index 041c72c..cc6414e 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -11,16 +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 -sysenter0001-xxx-sysenter-prototype.patch -sysenter0002-use-pcb-stack.patch -sysenter0003-XXX-i386-less-magic.patch -sysenter0004-thread_syscall_return-kinda-works.patch -sysenter0005-thread_syscall_return-works.patch -sysenter0006-optimize.patch -sysenter0007-document.patch -sysenter0008-document-check-for-sysenter-at-the-right-location.patch -sysenter0009-be-less-stoopid.patch -sysenter0010-fix-error-handling.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 |