Update kernel configs
[kernel-configs.git] / 4.4 / arm64
index 44a3189b57e0c2ca88ebedd857e777ad2fce0829..1b240636e62c9fe698a062b142f67f83ef494616 100644 (file)
--- a/4.4/arm64
+++ b/4.4/arm64
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/arm64 4.4.198-gnu Kernel Configuration
+# Linux/arm64 4.4.204-gnu Kernel Configuration
 #
 CONFIG_ARM64=y
 CONFIG_64BIT=y
@@ -7117,6 +7117,7 @@ CONFIG_DMI_SYSFS=m
 CONFIG_ISCSI_IBFT=m
 CONFIG_QCOM_SCM=y
 CONFIG_QCOM_SCM_64=y
+CONFIG_HAVE_ARM_SMCCC=y
 
 #
 # EFI (Extensible Firmware Interface) Support