|
@@ -231,7 +231,6 @@ CONFIG_RTC_CLASS=y
|
|
|
# CONFIG_RTC_DRV_CMOS is not set
|
|
|
CONFIG_RWSEM_XCHGADD_ALGORITHM=y
|
|
|
# CONFIG_SAMA5D4_WATCHDOG is not set
|
|
|
-CONFIG_SCHED_HRTICK=y
|
|
|
# CONFIG_SCHED_INFO is not set
|
|
|
# CONFIG_SCSI_DMA is not set
|
|
|
# CONFIG_SERIAL_8250 is not set
|