Browse Source

Add missing kernel config option

Hal Emmerich 4 years ago
parent
commit
b831e83908
1 changed files with 4 additions and 2 deletions
  1. 4 2
      resources/BuildResources/config

+ 4 - 2
resources/BuildResources/config

@@ -4,10 +4,10 @@
 #
 
 #
-# Compiler: arm-none-eabi-gcc (15:5.4.1+svn241155-1) 5.4.1 20160919
+# Compiler: arm-none-eabi-gcc (15:7-2018-q2-6) 7.3.1 20180622 (release) [ARM/embedded-7-branch revision 261907]
 #
 CONFIG_CC_IS_GCC=y
-CONFIG_GCC_VERSION=50401
+CONFIG_GCC_VERSION=70301
 CONFIG_CLANG_VERSION=0
 CONFIG_CC_HAS_ASM_GOTO=y
 CONFIG_CC_HAS_WARN_MAYBE_UNINITIALIZED=y
@@ -5657,6 +5657,8 @@ CONFIG_KASAN_STACK=1
 # end of Memory Debugging
 
 CONFIG_ARCH_HAS_KCOV=y
+CONFIG_CC_HAS_SANCOV_TRACE_PC=y
+# CONFIG_KCOV is not set
 # CONFIG_DEBUG_SHIRQ is not set
 
 #