/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
• 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