1 config GATOR
2 tristate "Gator module for ARM's Streamline Performance Analyzer"
3 default m if (ARM || ARM64)
4 depends on PROFILING
5 depends on HIGH_RES_TIMERS
6 depends on LOCAL_TIMERS || !(ARM && SMP)
7 depends on PERF_EVENTS
8 depends on HW_PERF_EVENTS || !(ARM || ARM64)
9 select TRACING
10 help
11 Gator module for ARM's Streamline Performance Analyzer
13 config GATOR_WITH_MALI_SUPPORT
14 bool
16 choice
17 prompt "Enable Mali GPU support in Gator"
18 depends on GATOR
19 optional
20 help
21 Enable Mali GPU support in Gator
23 config GATOR_MALI_4XXMP
24 bool "Mali-400MP or Mali-450MP"
25 select GATOR_WITH_MALI_SUPPORT
27 config GATOR_MALI_T6XX
28 bool "Mali-T604 or Mali-T658"
29 select GATOR_WITH_MALI_SUPPORT
31 endchoice
33 config GATOR_MALI_PATH
34 string "Path to Mali driver"
35 depends on GATOR_WITH_MALI_SUPPORT
36 default "drivers/gpu/arm/mali400mp"
37 help
38 The gator code adds this to its include path so it can get the Mali
39 trace headers with: #include "linux/mali_linux_trace.h"