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         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
  12
  13 config GATOR_WITH_MALI_SUPPORT
  14         bool
  15
  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
  22
  23 config GATOR_MALI_4XXMP
  24         bool "Mali-400MP or Mali-450MP"
  25         select GATOR_WITH_MALI_SUPPORT
  26
  27 config GATOR_MALI_MIDGARD
  28         bool "Mali-T60x, Mali-T62x, Mali-T72x or Mali-T76x"
  29         select GATOR_WITH_MALI_SUPPORT
  30
  31 endchoice
  32
  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"