From 561f37217588217a25c0e9f76287b17580356ec9 Mon Sep 17 00:00:00 2001 From: MilhouseVH Date: Fri, 25 Aug 2017 19:58:01 +0100 Subject: [PATCH] linux: update config to 4.12.9 --- projects/Generic/linux/linux.x86_64.conf | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/projects/Generic/linux/linux.x86_64.conf b/projects/Generic/linux/linux.x86_64.conf index ae02bae972..5440340d6a 100644 --- a/projects/Generic/linux/linux.x86_64.conf +++ b/projects/Generic/linux/linux.x86_64.conf @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86_64 4.12.0 Kernel Configuration +# Linux/x86_64 4.12.9 Kernel Configuration # CONFIG_64BIT=y CONFIG_X86_64=y @@ -4908,6 +4908,7 @@ CONFIG_DEBUG_FS=y # CONFIG_HEADERS_CHECK is not set # CONFIG_DEBUG_SECTION_MISMATCH is not set CONFIG_SECTION_MISMATCH_WARN_ONLY=y +CONFIG_HARDLOCKUP_CHECK_TIMESTAMP=y CONFIG_ARCH_WANT_FRAME_POINTERS=y # CONFIG_FRAME_POINTER is not set # CONFIG_STACK_VALIDATION is not set