diff options
author | Erich Eckner <git@eckner.net> | 2018-09-08 12:04:28 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-09-08 12:04:28 +0200 |
commit | f97b9a8aeed0d2bb97c09a4713a00bc43f1bfd57 (patch) | |
tree | 8a7346fd375133e8611782af5dc0d1b0a787a862 /core/linux/config | |
parent | 5019656ca9016b49bf3795aaf06ad952685079e0 (diff) | |
download | packages-f97b9a8aeed0d2bb97c09a4713a00bc43f1bfd57.tar.xz |
core/linux: new version => new config => new checksum
Diffstat (limited to 'core/linux/config')
-rw-r--r-- | core/linux/config | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/core/linux/config b/core/linux/config index bc17d042..2b4c93f6 100644 --- a/core/linux/config +++ b/core/linux/config @@ -1,10 +1,10 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 4.18.3-arch1 Kernel Configuration +# Linux/x86 4.18.6-arch1 Kernel Configuration # # -# Compiler: gcc (GCC) 8.2.0 +# Compiler: gcc (GCC) 8.2.1 20180831 # # CONFIG_64BIT is not set CONFIG_X86_32=y @@ -43,7 +43,7 @@ CONFIG_ARCH_SUPPORTS_UPROBES=y CONFIG_FIX_EARLYCON_MEM=y CONFIG_PGTABLE_LEVELS=2 CONFIG_CC_IS_GCC=y -CONFIG_GCC_VERSION=80200 +CONFIG_GCC_VERSION=80201 CONFIG_CLANG_VERSION=0 CONFIG_IRQ_WORK=y CONFIG_BUILDTIME_EXTABLE_SORT=y @@ -302,6 +302,7 @@ CONFIG_HAVE_PERF_REGS=y CONFIG_HAVE_PERF_USER_STACK_DUMP=y CONFIG_HAVE_ARCH_JUMP_LABEL=y CONFIG_HAVE_RCU_TABLE_FREE=y +CONFIG_HAVE_RCU_TABLE_INVALIDATE=y CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG=y CONFIG_HAVE_ALIGNED_STRUCT_PAGE=y CONFIG_HAVE_CMPXCHG_LOCAL=y @@ -7405,7 +7406,7 @@ CONFIG_RTC_DRV_RV3029_HWMON=y # # Platform RTC drivers # -CONFIG_RTC_DRV_CMOS=m +CONFIG_RTC_DRV_CMOS=y CONFIG_RTC_DRV_DS1286=m CONFIG_RTC_DRV_DS1511=m CONFIG_RTC_DRV_DS1553=m |