diff options
Diffstat (limited to 'drivers/gator/Kconfig')
| -rw-r--r-- | drivers/gator/Kconfig | 1 |
1 files changed, 0 insertions, 1 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 |