diff options
Diffstat (limited to 'kernel-armv7hl-fedora.config')
| -rw-r--r-- | kernel-armv7hl-fedora.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel-armv7hl-fedora.config b/kernel-armv7hl-fedora.config index 435762845..f460518df 100644 --- a/kernel-armv7hl-fedora.config +++ b/kernel-armv7hl-fedora.config @@ -5607,7 +5607,7 @@ CONFIG_PREVENT_FIRMWARE_BUILD=y # CONFIG_PRIME_NUMBERS is not set CONFIG_PRINTER=m # CONFIG_PRINTK_CALLER is not set -# CONFIG_PRINTK_INDEX is not set +CONFIG_PRINTK_INDEX=y CONFIG_PRINTK_SAFE_LOG_BUF_SHIFT=12 CONFIG_PRINTK_TIME=y # CONFIG_PRINT_QUOTA_WARNING is not set |