diff options
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 89260fd..db52cbc 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -8,3 +8,9 @@ protected_payload.patch Add-some-padding-to-make-objects-fit-a-single-cache-.patch #acpihalt.patch +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 |