From b831e83908c49381f5906a6ebba4253d8859d601 Mon Sep 17 00:00:00 2001
From: Hal Emmerich <hal@halemmerich.com>
Date: Wed, 1 Apr 2020 01:12:47 -0500
Subject: [PATCH] Add missing kernel config option

---
 resources/BuildResources/config | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/resources/BuildResources/config b/resources/BuildResources/config
index e1b6b2a..ade113d 100644
--- a/resources/BuildResources/config
+++ b/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
 
 #