kernel: cleanup CONFIG_SCHED_HRTICK
[openwrt/openwrt.git] / target / linux / zynq / config-4.4
index 52080e2ee92469a9864dcb4ece498997d92c7a5c..2bab6f21930c419fd0fab62e8404502dbcdd705e 100644 (file)
@@ -573,7 +573,6 @@ CONFIG_RTC_CLASS=y
 CONFIG_RTC_DRV_PCF8563=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 CONFIG_RTC_DRV_PCF8563=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCHED_MC=y
 CONFIG_SCHED_SMT=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCHED_MC=y
 CONFIG_SCHED_SMT=y