Combine instrumentation menus in kernel/Kconfig.instrumentation
[cascardo/linux.git] / arch / v850 / Kconfig
index ace479a..b6a50b8 100644 (file)
@@ -331,6 +331,8 @@ source "sound/Kconfig"
 
 source "drivers/usb/Kconfig"
 
+source "kernel/Kconfig.instrumentation"
+
 source "arch/v850/Kconfig.debug"
 
 source "security/Kconfig"