diff options
| author | Jon Medhurst <tixy@linaro.org> | 2013-09-03 14:01:34 +0100 |
|---|---|---|
| committer | Jon Medhurst <tixy@linaro.org> | 2013-12-09 13:23:36 +0000 |
| commit | c1bc4d9de2045e3414ad0005dfae48d5f18a21eb (patch) | |
| tree | 4120b0bbe5d9a57f10acd6b2f7266e598ad30189 | |
| parent | dd508e284281bf66b65aa35f8d8c5554438a278f (diff) | |
gator: Fixups for Linux 13.12
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 e0db65596697..6a0f2c0eea6c 100644 --- a/drivers/gator/gator_main.c +++ b/drivers/gator/gator_main.c @@ -45,7 +45,7 @@ static unsigned long gator_protocol_version = 16; #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)) |