diff options
-rw-r--r-- | drivers/Kconfig | 2 | ||||
-rw-r--r-- | drivers/Makefile | 2 | ||||
-rw-r--r-- | drivers/gator/driver/Kconfig | 7 |
3 files changed, 11 insertions, 0 deletions
diff --git a/drivers/Kconfig b/drivers/Kconfig index 5afe5d1f199b..ccad64bcc544 100644 --- a/drivers/Kconfig +++ b/drivers/Kconfig @@ -136,4 +136,6 @@ source "drivers/virt/Kconfig" source "drivers/devfreq/Kconfig" +source "drivers/gator/driver/Kconfig" + endmenu diff --git a/drivers/Makefile b/drivers/Makefile index c07be024b962..683aea47baac 100644 --- a/drivers/Makefile +++ b/drivers/Makefile @@ -132,3 +132,5 @@ obj-$(CONFIG_VIRT_DRIVERS) += virt/ obj-$(CONFIG_HYPERV) += hv/ obj-$(CONFIG_PM_DEVFREQ) += devfreq/ + +obj-$(CONFIG_GATOR) += gator/driver/ diff --git a/drivers/gator/driver/Kconfig b/drivers/gator/driver/Kconfig new file mode 100644 index 000000000000..3b685ad9963c --- /dev/null +++ b/drivers/gator/driver/Kconfig @@ -0,0 +1,7 @@ +config GATOR + tristate "Gator module for ARM's Streamline Performance Analyzer" + default m + depends on GENERIC_TRACER || TRACING + depends on PROFILING + depends on HIGH_RES_TIMERS + depends on LOCAL_TIMERS || !(ARM && SMP) |