summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--driver/gator_main.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/driver/gator_main.c b/driver/gator_main.c
index e0db655..ead7eae 100644
--- a/driver/gator_main.c
+++ b/driver/gator_main.c
@@ -44,9 +44,11 @@ static unsigned long gator_protocol_version = 16;
44#error gator requires the kernel to have CONFIG_HIGH_RES_TIMERS defined to support PC sampling 44#error gator requires the kernel to have CONFIG_HIGH_RES_TIMERS defined to support PC sampling
45#endif 45#endif
46 46
47#if LINUX_VERSION_CODE < KERNEL_VERSION(3, 12, 0) /* Because CONFIG_LOCAL_TIMERS was removed in 3.12 */
47#if defined(__arm__) && defined(CONFIG_SMP) && !defined(CONFIG_LOCAL_TIMERS) 48#if defined(__arm__) && defined(CONFIG_SMP) && !defined(CONFIG_LOCAL_TIMERS)
48#error gator requires the kernel to have CONFIG_LOCAL_TIMERS defined on SMP systems 49#error gator requires the kernel to have CONFIG_LOCAL_TIMERS defined on SMP systems
49#endif 50#endif
51#endif
50 52
51#if (GATOR_PERF_SUPPORT) && (!(GATOR_PERF_PMU_SUPPORT)) 53#if (GATOR_PERF_SUPPORT) && (!(GATOR_PERF_PMU_SUPPORT))
52#ifndef CONFIG_PERF_EVENTS 54#ifndef CONFIG_PERF_EVENTS