/debian/patches/
../
11_ignore_CSIn.patch
12_version_suffix.patch
50_initrd.patch
60_bigmem.patch
70_dde.patch
80_missing_files.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
reorder-ipc_port.patch
series
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
task-load.patch
vm_cache_policy.patch
vm_page_cleanq.patch