summaryrefslogtreecommitdiffstats
path: root/src/build
diff options
context:
space:
mode:
authorPatrick 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)
commitda6431c7bec0c60fda9fc77f401277a660d2ade1 (patch)
tree902b21039f2f0a2e278d61cf86792a4529f2106c /src/build
parent6b7dee85b7c98bde0c63bf523f8c687abff09998 (diff)
linux-libre-4.19: Drop symbols and make quiet
Diffstat (limited to 'src/build')
-rw-r--r--src/build/linux-libre-4.19/config10
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