diff options
author | Jon Medhurst <tixy@linaro.org> | 2013-09-03 14:01:34 +0100 |
---|---|---|
committer | Jon Medhurst <tixy@linaro.org> | 2013-09-24 11:10:44 +0100 |
commit | d43e51bc6f5379d8f0412d5df98830f35026c8df (patch) | |
tree | a84bc165990cbc35fa85e3202aac9a88334b17aa | |
parent | 3aa696c9b9a0b5cbf4a073d80f06dae0a35e515d (diff) |
gator: Fixups for Linux 13.12tracking-gator-llct-20131007.0tracking-gator-llct-20131004.0tracking-gator-llct-20130930.0
Signed-off-by: Jon Medhurst <tixy@linaro.org>
-rw-r--r-- | drivers/gator/Kconfig | 1 | ||||
-rw-r--r-- | drivers/gator/gator_main.c | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/drivers/gator/Kconfig b/drivers/gator/Kconfig index 7ea0fcc3d01d..a05ea118e0a5 100644 --- a/drivers/gator/Kconfig +++ b/drivers/gator/Kconfig @@ -3,7 +3,6 @@ config GATOR default m if (ARM || ARM64) depends on PROFILING depends on HIGH_RES_TIMERS - depends on LOCAL_TIMERS || !(ARM && SMP) select TRACING config GATOR_WITH_MALI_SUPPORT diff --git a/drivers/gator/gator_main.c b/drivers/gator/gator_main.c index 5eab03456ce6..f26e3c5bbeb4 100644 --- a/drivers/gator/gator_main.c +++ b/drivers/gator/gator_main.c @@ -45,7 +45,7 @@ static unsigned long gator_protocol_version = 14; #endif #if defined(__arm__) && defined(CONFIG_SMP) && !defined(CONFIG_LOCAL_TIMERS) -#error gator requires the kernel to have CONFIG_LOCAL_TIMERS defined on SMP systems +//#error gator requires the kernel to have CONFIG_LOCAL_TIMERS defined on SMP systems #endif #if (GATOR_PERF_SUPPORT) && (!(GATOR_PERF_PMU_SUPPORT)) |