diff options
Diffstat (limited to 'target/linux/armvirt')
| -rw-r--r-- | target/linux/armvirt/config-4.9 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/target/linux/armvirt/config-4.9 b/target/linux/armvirt/config-4.9 index 6a6d4215bd..64444d72fd 100644 --- a/target/linux/armvirt/config-4.9 +++ b/target/linux/armvirt/config-4.9 @@ -154,7 +154,6 @@ CONFIG_RTC_CLASS=y CONFIG_RTC_DRV_PL031=y CONFIG_RWSEM_SPIN_ON_OWNER=y CONFIG_RWSEM_XCHGADD_ALGORITHM=y -CONFIG_SCHED_HRTICK=y # CONFIG_SCHED_INFO is not set CONFIG_SCSI=y CONFIG_SCSI_VIRTIO=y |