diff options
Diffstat (limited to 'target/linux/zynq')
| -rw-r--r-- | target/linux/zynq/config-4.4 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/target/linux/zynq/config-4.4 b/target/linux/zynq/config-4.4 index 52080e2ee9..2bab6f2193 100644 --- a/target/linux/zynq/config-4.4 +++ b/target/linux/zynq/config-4.4 @@ -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_SCHED_HRTICK=y # CONFIG_SCHED_INFO is not set CONFIG_SCHED_MC=y CONFIG_SCHED_SMT=y |