#
# Automatically generated file; DO NOT EDIT.
-# Linux/arm64 4.14.67-gnu Kernel Configuration
+# Linux/arm64 4.14.94-gnu Kernel Configuration
#
CONFIG_ARM64=y
CONFIG_64BIT=y
# ACPI INT340X thermal drivers
#
CONFIG_MTK_THERMAL=m
+
+#
+# Broadcom thermal drivers
+#
+CONFIG_BCM2835_THERMAL=m
+CONFIG_BCM_NS_THERMAL=m
CONFIG_QCOM_SPMI_TEMP_ALARM=m
CONFIG_GENERIC_ADC_THERMAL=m
CONFIG_CIFS_WEAK_PW_HASH=y
CONFIG_CIFS_UPCALL=y
CONFIG_CIFS_XATTR=y
-CONFIG_CIFS_POSIX=y
CONFIG_CIFS_ACL=y
CONFIG_CIFS_DEBUG=y
# CONFIG_CIFS_DEBUG2 is not set