diff options
Diffstat (limited to 'debian/patches-rt/printk-kill.patch')
-rw-r--r-- | debian/patches-rt/printk-kill.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches-rt/printk-kill.patch b/debian/patches-rt/printk-kill.patch index 47845619e..7199c5489 100644 --- a/debian/patches-rt/printk-kill.patch +++ b/debian/patches-rt/printk-kill.patch @@ -1,7 +1,7 @@ Subject: printk: Add a printk kill switch From: Ingo Molnar <mingo@elte.hu> Date: Fri, 22 Jul 2011 17:58:40 +0200 -Origin: https://www.kernel.org/pub/linux/kernel/projects/rt/4.18/older/patches-4.18.5-rt3.tar.xz +Origin: https://www.kernel.org/pub/linux/kernel/projects/rt/4.18/older/patches-4.18.7-rt5.tar.xz Add a prinkt-kill-switch. This is used from (NMI) watchdog to ensure that it does not dead-lock with the early printk code. |