/debian/patches/

• ../
• 0001-kern-set-the-name-of-the-kernel-task-to-gnumach.patch
• 0002-ddb-print-task-names-if-available.patch
• 0003-ddb-use-db_thread_stat-to-format-the-flags.patch
• 0004-i386-reformat-the-key-map.patch
• 0005-i386-remap-some-keys.patch
• 0006-doc-explain-the-floating-point-flag-in-kdb-output.patch
• 11_ignore_CSIn.patch
• 12_version_suffix.patch
• 50_initrd.patch
• 60_bigmem.patch
• 70_dde.patch
• 80_missing_files.patch
• Add-some-padding-to-make-objects-fit-a-single-cache-.patch
• acpihalt.patch
• protected_payload.patch
• series