diff options
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 cbb0e5968..c2dd860a1 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.2/older/patches-5.2.9-rt3.tar.xz +Origin: https://www.kernel.org/pub/linux/kernel/projects/rt/5.2/older/patches-5.2.10-rt5.tar.xz It can be difficult to sort printk out if multiple processors are printing simultaneously. Add the processor number to the printk |