1 files changed, 30 insertions, 0 deletions

diff --git a/kernel/gcov/Kconfig b/kernel/gcov/Kconfig
index d4da55d1fb65..d04ce8ac4399 100644
--- a/kernel/gcov/Kconfig
+++ b/kernel/gcov/Kconfig
@@ -46,4 +46,34 @@ config GCOV_PROFILE_ALL
         larger and run slower. Also be sure to exclude files from profiling
         which are not linked to the kernel image to prevent linker errors.
 
+choice
+        prompt "Specify GCOV format"
+        depends on GCOV_KERNEL
+        default GCOV_FORMAT_AUTODETECT
+        ---help---
+        The gcov format is usually determined by the GCC version, but there are
+        exceptions where format changes are integrated in lower-version GCCs.
+        In such a case use this option to adjust the format used in the kernel
+        accordingly.
+
+        If unsure, choose "Autodetect".
+
+config GCOV_FORMAT_AUTODETECT
+        bool "Autodetect"
+        ---help---
+        Select this option to use the format that corresponds to your GCC
+        version.
+
+config GCOV_FORMAT_3_4
+        bool "GCC 3.4 format"
+        ---help---
+        Select this option to use the format defined by GCC 3.4.
+
+config GCOV_FORMAT_4_7
+        bool "GCC 4.7 format"
+        ---help---
+        Select this option to use the format defined by GCC 4.7.
+
+endchoice
+
 endmenu