/debian/patches/
../
11_ignore_CSIn.patch
12_version_suffix.patch
50_initrd.patch
60_bigmem.patch
700001-70_dde.patch.patch
700002-Disable-disabling-the-irq-via-device_intr_enable.patch
700003-Rework-comment-on-the-userspace-interrupt-handling.patch
700004-Some-cleanups-of-the-userspace-interrupt-handling.patch
700005-Fix-synchronization.patch
700006-Reorder.patch
700007-Use-the-slab-allocator.patch
700008-Fix-reference-counting-use-dead-name-notification.patch
700009-Fix-xen-build.patch
700010-Fix-infinite-loop-with-cli-if-netdde-is-killed-with-.patch
700011-Add-copyright-notices.patch
700012-i386-add-parts-of-cpu.h-from-x15.patch
700013-Avoid-cli-sti-in-favor-of-cpu_intr_-save-restore.patch
700014-include-avoid-generating-unused-client-stubs.patch
700015-New-kind-of-notification-untested.patch
reorder-ipc_port.patch
series
sysenter0001-yyy-sysenter-prototype.patch
task-load.patch
vm-cache-policy0001-VM-cache-policy-change.patch
vm-cache-policy0002-Fix-page-cache-accounting.patch