|
@@ -109,6 +109,7 @@ CONFIG_DMIID=y
|
|
|
CONFIG_DMI_SCAN_MACHINE_NON_EFI_FALLBACK=y
|
|
|
CONFIG_DMI_SYSFS=y
|
|
|
CONFIG_DNOTIFY=y
|
|
|
+# CONFIG_DST_CACHE is not set
|
|
|
CONFIG_DUMMY_CONSOLE=y
|
|
|
CONFIG_EARLY_PRINTK=y
|
|
|
# CONFIG_EARLY_PRINTK_DBGP is not set
|
|
@@ -363,6 +364,7 @@ CONFIG_RWSEM_XCHGADD_ALGORITHM=y
|
|
|
# CONFIG_SBC8360_WDT is not set
|
|
|
# CONFIG_SBC_EPX_C3_WATCHDOG is not set
|
|
|
# CONFIG_SC1200_WDT is not set
|
|
|
+CONFIG_SCHED_HRTICK=y
|
|
|
# CONFIG_SCHED_INFO is not set
|
|
|
CONFIG_SCSI=y
|
|
|
CONFIG_SCSI_SPI_ATTRS=y
|