diff options
author | Fathi Boudra <fathi.boudra@linaro.org> | 2013-03-30 17:35:18 +0200 |
---|---|---|
committer | Fathi Boudra <fathi.boudra@linaro.org> | 2013-03-30 17:35:18 +0200 |
commit | 17c2f0dc0ca55e254fcd7829489757568b3225e7 (patch) | |
tree | 25b11e1b39d626151123a16f16f4b4ca38761609 /debian/gator-module-dkms/usr/src/gator-module-5.13.0/Kconfig |
Imported Upstream version 5.13.0HEADupstream/5.13.0master
Diffstat (limited to 'debian/gator-module-dkms/usr/src/gator-module-5.13.0/Kconfig')
-rw-r--r-- | debian/gator-module-dkms/usr/src/gator-module-5.13.0/Kconfig | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/debian/gator-module-dkms/usr/src/gator-module-5.13.0/Kconfig b/debian/gator-module-dkms/usr/src/gator-module-5.13.0/Kconfig new file mode 100644 index 0000000..8ff2ca1 --- /dev/null +++ b/debian/gator-module-dkms/usr/src/gator-module-5.13.0/Kconfig @@ -0,0 +1,33 @@ +config GATOR + tristate "Gator module for ARM's Streamline Performance Analyzer" + default m if ARM + 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" |