diff options
| author | Philippe Langlais <philippe.langlais@stericsson.com> | 2012-05-24 17:16:17 +0200 |
|---|---|---|
| committer | Philippe Langlais <philippe.langlais@stericsson.com> | 2012-05-24 17:16:17 +0200 |
| commit | 6e1ff8e78958e5ea6871dca4a5ef6076fadcbcc1 (patch) | |
| tree | 4e17c48118edbe073b49341d95809a8e0b2a8f80 /drivers/gator/Kconfig | |
| parent | ed6e65a66f3bcf84dff4ff4e680096b7e40076d5 (diff) | |
| parent | 09f333ed6069575a71fabc999c4dc39b6594d727 (diff) | |
Merge remote-tracking branch 'armlt/3.3-armlt-gator-5.10' into stable-linux-ux500-3.3ubuntu-release-12-07ubuntu-release-12-06
Conflicts:
drivers/Kconfig
Diffstat (limited to 'drivers/gator/Kconfig')
| -rw-r--r-- | drivers/gator/Kconfig | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/drivers/gator/Kconfig b/drivers/gator/Kconfig new file mode 100644 index 00000000000..14b3d619d18 --- /dev/null +++ b/drivers/gator/Kconfig @@ -0,0 +1,33 @@ +config GATOR + tristate "Gator module for ARM's Streamline Performance Analyzer" + default m + depends on PROFILING + depends on HIGH_RES_TIMERS + depends on LOCAL_TIMERS || !(ARM && SMP) + select TRACING + +config GATOR_WITH_MALI_SUPPORT + bool + +choice + prompt "Enable Mali GPU support in Gator" + depends on GATOR + optional + +config GATOR_MALI_400MP + bool "Mali-400MP" + select GATOR_WITH_MALI_SUPPORT + +config GATOR_MALI_T6XX + bool "Mali-T604 or Mali-T658" + select GATOR_WITH_MALI_SUPPORT + +endchoice + +config GATOR_MALI_PATH + string "Path to Mali driver" + depends on GATOR_WITH_MALI_SUPPORT + default "drivers/gpu/arm/mali400mp" + help + The gator code adds this to its include path so it can get the Mali + trace headers with: #include "linux/mali_linux_trace.h" |