diff options
| author | Erich Eckner <git@eckner.net> | 2018-08-16 12:22:54 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-08-16 12:22:54 +0200 |
| commit | dc9067894c778e96e5d78f3d504094b2f075d565 (patch) | |
| tree | 1c4e1705c4fa0651d2a7be2b51dc988a551fbd5e /extra/linux-pae/config | |
| parent | 0920521caffdea5f0704de273a56a8e1dc7c5276 (diff) | |
| download | packages-dc9067894c778e96e5d78f3d504094b2f075d565.tar.xz | |
extra/linux-pae: new version => new config => new checksum
Diffstat (limited to 'extra/linux-pae/config')
| -rw-r--r-- | extra/linux-pae/config | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/extra/linux-pae/config b/extra/linux-pae/config index 9b7cee12..5e1ee51d 100644 --- a/extra/linux-pae/config +++ b/extra/linux-pae/config @@ -1,10 +1,10 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 4.18.0-1 Kernel Configuration +# Linux/x86 4.18.1-1 Kernel Configuration # # -# Compiler: gcc (GCC) 8.1.1 20180531 +# Compiler: gcc (GCC) 8.2.0 # # 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=3 CONFIG_CC_IS_GCC=y -CONFIG_GCC_VERSION=80101 +CONFIG_GCC_VERSION=80200 CONFIG_CLANG_VERSION=0 CONFIG_IRQ_WORK=y CONFIG_BUILDTIME_EXTABLE_SORT=y @@ -261,6 +261,7 @@ CONFIG_PROFILING=y CONFIG_TRACEPOINTS=y CONFIG_CRASH_CORE=y CONFIG_KEXEC_CORE=y +CONFIG_HOTPLUG_SMT=y CONFIG_OPROFILE=m # CONFIG_OPROFILE_EVENT_MULTIPLEX is not set CONFIG_HAVE_OPROFILE=y |