diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-07-12 13:44:17 (EDT) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-07-16 01:27:33 (EDT) |
| commit | da6431c7bec0c60fda9fc77f401277a660d2ade1 (patch) | |
| tree | 902b21039f2f0a2e278d61cf86792a4529f2106c /src/build | |
| parent | 6b7dee85b7c98bde0c63bf523f8c687abff09998 (diff) | |
linux-libre-4.19: Drop symbols and make quiet
Diffstat (limited to 'src/build')
| -rw-r--r-- | src/build/linux-libre-4.19/config | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/build/linux-libre-4.19/config b/src/build/linux-libre-4.19/config index c6e39b1..8e82398 100644 --- a/src/build/linux-libre-4.19/config +++ b/src/build/linux-libre-4.19/config @@ -145,9 +145,7 @@ CONFIG_SHMEM=y CONFIG_AIO=y CONFIG_ADVISE_SYSCALLS=y # CONFIG_MEMBARRIER is not set -CONFIG_KALLSYMS=y -# CONFIG_KALLSYMS_ALL is not set -CONFIG_KALLSYMS_BASE_RELATIVE=y +# CONFIG_KALLSYMS is not set # CONFIG_BPF_SYSCALL is not set # CONFIG_USERFAULTFD is not set CONFIG_ARCH_HAS_MEMBARRIER_SYNC_CORE=y @@ -344,7 +342,7 @@ CONFIG_HOTPLUG_CPU=y # CONFIG_DEBUG_HOTPLUG_CPU0 is not set # CONFIG_COMPAT_VDSO is not set CONFIG_CMDLINE_BOOL=y -CONFIG_CMDLINE="rw mce=0 page_poison=1 pti=on console=ttyS0,9600n8" +CONFIG_CMDLINE="rw mce=0 page_poison=1 pti=on quiet" # CONFIG_CMDLINE_OVERRIDE is not set # CONFIG_MODIFY_LDT_SYSCALL is not set CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y @@ -2934,7 +2932,7 @@ CONFIG_LOCK_DEBUGGING_SUPPORT=y # CONFIG_STACKTRACE is not set # CONFIG_WARN_ALL_UNSEEDED_RANDOM is not set # CONFIG_DEBUG_KOBJECT is not set -CONFIG_DEBUG_BUGVERBOSE=y +# CONFIG_DEBUG_BUGVERBOSE is not set CONFIG_DEBUG_LIST=y # CONFIG_DEBUG_PI_LIST is not set CONFIG_DEBUG_SG=y @@ -2978,7 +2976,7 @@ CONFIG_ARCH_HAS_UBSAN_SANITIZE_ALL=y CONFIG_ARCH_HAS_DEVMEM_IS_ALLOWED=y # CONFIG_STRICT_DEVMEM is not set CONFIG_TRACE_IRQFLAGS_SUPPORT=y -CONFIG_X86_VERBOSE_BOOTUP=y +# CONFIG_X86_VERBOSE_BOOTUP is not set CONFIG_EARLY_PRINTK=y # CONFIG_EARLY_PRINTK_DBGP is not set # CONFIG_EARLY_PRINTK_USB_XDBC is not set |