/debian/patches/

• ../
• 11_ignore_CSIn.patch
• 12_version_suffix.patch
• 50_initrd.patch
• 60_bigmem.patch
• 70_dde.patch
• 80_missing_files.patch
• docfix0001-Include-the-notify-protocol-in-gnumach.msgids.patch
• docfix0002-maybefixup_notify_stuff.patch
• docfix0003-fu.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-vm-keep-track-of-clean-pages.patch
• vm-cache-policy0003-vm-evict-clean-pages-first.patch