From dc9067894c778e96e5d78f3d504094b2f075d565 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 16 Aug 2018 12:22:54 +0200
Subject: extra/linux-pae: new version => new config => new checksum

---
 extra/linux-pae/config | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'extra/linux-pae/config')

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
-- 
cgit v1.2.3-54-g00ecf