diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-01-03 18:44:31 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-01-03 19:23:07 +0100 |
| commit | 7da2392541a49c3f17b2e7d24e04b84d72b965fb (patch) | |
| tree | 3818af1cecdab820f9405c01bb14a507c2be2405 /sys/linux | |
| parent | 709e893d2402cf49e9556b376f3003ed82567b02 (diff) | |
pkg/report: support CONFIG_PRINTK_CALLER
CONFIG_PRINTK_CALLER has reached linux-next:
https://groups.google.com/d/msg/syzkaller/xEDUgkgFvL8/d5bBS3BJBwAJ
Enable CONFIG_PRINTK_CALLER and support parsing of its output format.
This gives us several advantages:
- output from different contexts don't intermix
- intermixed output doesn't cause corrupted reports
- we can keep larger prefix since we know it comes from the same task
Credit for the kernel part goes to Tetsuo Handa.
Also Sergey Senozhatsky and Petr Mladek for reviews of the kernel part.
Fixes #596
Fixes #600
Diffstat (limited to 'sys/linux')
0 files changed, 0 insertions, 0 deletions