|
|
@@ -37,6 +37,8 @@ CONFIG_ARM64_VA_BITS=39
|
|
|
CONFIG_ARM64_VA_BITS_39=y
|
|
|
CONFIG_ARM64_VHE=y
|
|
|
CONFIG_ARM64_WORKAROUND_CLEAN_CACHE=y
|
|
|
+CONFIG_ARM64_WORKAROUND_REPEAT_TLBI=y
|
|
|
+CONFIG_ARM64_WORKAROUND_SPECULATIVE_AT=y
|
|
|
CONFIG_ARM_AMBA=y
|
|
|
CONFIG_ARM_ARCH_TIMER=y
|
|
|
CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
|
|
|
@@ -374,6 +376,7 @@ CONFIG_RESET_SIMPLE=y
|
|
|
CONFIG_RFS_ACCEL=y
|
|
|
CONFIG_RODATA_FULL_DEFAULT_ENABLED=y
|
|
|
# CONFIG_RPIVID_MEM is not set
|
|
|
+# CONFIG_RPI_AXIPERF is not set
|
|
|
# CONFIG_RPI_POE_POWER is not set
|
|
|
CONFIG_RPS=y
|
|
|
CONFIG_RWSEM_SPIN_ON_OWNER=y
|
|
|
@@ -395,6 +398,8 @@ CONFIG_SERIAL_MCTRL_GPIO=y
|
|
|
CONFIG_SERIAL_OF_PLATFORM=y
|
|
|
CONFIG_SG_POOL=y
|
|
|
CONFIG_SMP=y
|
|
|
+# CONFIG_SND_SOC_AD193X_I2C is not set
|
|
|
+# CONFIG_SND_SOC_AD193X_SPI is not set
|
|
|
CONFIG_SPARSEMEM=y
|
|
|
CONFIG_SPARSEMEM_EXTREME=y
|
|
|
CONFIG_SPARSEMEM_MANUAL=y
|