diff --git a/arch/Kconfig b/arch/Kconfig
index 1adf2d0..c72f18f 100644
--- a/arch/Kconfig
+++ b/arch/Kconfig
@@ -116,3 +116,5 @@
 config HAVE_HW_BREAKPOINT
 	bool
 
+
+source "kernel/gcov/Kconfig"