drivers/gator/Kconfig

   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         select TRACING
   8
   9 config GATOR_WITH_MALI_SUPPORT
  10         bool
  11
  12 choice
  13         prompt "Enable Mali GPU support in Gator"
  14         depends on GATOR
  15         optional
  16
  17 config GATOR_MALI_400MP
  18         bool "Mali-400MP"
  19         select GATOR_WITH_MALI_SUPPORT
  20
  21 config GATOR_MALI_T6XX
  22         bool "Mali-T604 or Mali-T658"
  23         select GATOR_WITH_MALI_SUPPORT
  24
  25 endchoice
  26
  27 config GATOR_MALI_PATH
  28         string "Path to Mali driver"
  29         depends on GATOR_WITH_MALI_SUPPORT
  30         default "drivers/gpu/arm/mali400mp"
  31         help
  32           The gator code adds this to its include path so it can get the Mali
  33           trace headers with: #include "linux/mali_linux_trace.h"