#
# 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
CONFIG_ISCSI_IBFT=m
CONFIG_QCOM_SCM=y
CONFIG_QCOM_SCM_64=y
+CONFIG_HAVE_ARM_SMCCC=y
#
# EFI (Extensible Firmware Interface) Support