/debian/patches/

• ../
• 0002-ddb-add-db_check_task_address_valid.patch
• 0003-ddb-add-kill-command.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
• make_send_right.patch
• protected_payload.patch
• series