diff options
author | Salvatore Bonaccorso <carnil@debian.org> | 2020-02-07 15:07:34 +0100 |
---|---|---|
committer | Salvatore Bonaccorso <carnil@debian.org> | 2020-02-07 17:25:44 +0100 |
commit | ee66be8699597220c5b81ac4b4e3dbd2481894ae (patch) | |
tree | 78f40b63c5d6017c728a0a5ab5249bb86c234c09 /debian/patches-rt/0017-printk-add-processor-number-to-output.patch | |
parent | ba33c7606fcbf7ce14bdadfb9f0e42504488c0aa (diff) | |
download | linux-debian-ee66be8699597220c5b81ac4b4e3dbd2481894ae.tar.gz |
[rt] Update to 5.4.13-rt7
Diffstat (limited to 'debian/patches-rt/0017-printk-add-processor-number-to-output.patch')
-rw-r--r-- | debian/patches-rt/0017-printk-add-processor-number-to-output.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches-rt/0017-printk-add-processor-number-to-output.patch b/debian/patches-rt/0017-printk-add-processor-number-to-output.patch index 14714321c..38fc08b88 100644 --- a/debian/patches-rt/0017-printk-add-processor-number-to-output.patch +++ b/debian/patches-rt/0017-printk-add-processor-number-to-output.patch @@ -1,7 +1,7 @@ From: John Ogness <john.ogness@linutronix.de> Date: Tue, 12 Feb 2019 15:29:55 +0100 Subject: [PATCH 17/25] printk: add processor number to output -Origin: https://www.kernel.org/pub/linux/kernel/projects/rt/5.4/older/patches-5.4.13-rt6.tar.xz +Origin: https://www.kernel.org/pub/linux/kernel/projects/rt/5.4/older/patches-5.4.13-rt7.tar.xz It can be difficult to sort printk out if multiple processors are printing simultaneously. Add the processor number to the printk |