diff options
| author | Petr Vorel <[email protected]> | 2018-09-26 16:10:56 +0200 |
|---|---|---|
| committer | Michael Ellerman <[email protected]> | 2018-10-03 15:40:06 +1000 |
| commit | 5bd9b4445d1f02639cb5e5b151ef40d0a5dc4b47 (patch) | |
| tree | a51431ad8ce096f5cc2c38795308b5e366d64030 /scripts/bpf_helpers_doc.py | |
| parent | 01b9870ea614518d48b6d2c787284b3a7d181a7c (diff) | |
powerpc/config: Enable CONFIG_PRINTK_TIME
for 64bit configs which use for CONFIG_LOG_BUF_SHIFT the same
or higher value than the default (currently 17).
Signed-off-by: Petr Vorel <[email protected]>
Signed-off-by: Michael Ellerman <[email protected]>
Diffstat (limited to 'scripts/bpf_helpers_doc.py')
0 files changed, 0 insertions, 0 deletions