#
# Automatically generated file; DO NOT EDIT.
-# Linux/arm64 4.14.125-gnu Kernel Configuration
+# Linux/arm64 4.14.139-gnu Kernel Configuration
#
CONFIG_ARM64=y
CONFIG_64BIT=y
CONFIG_FIRMWARE_MEMMAP=y
CONFIG_DMIID=y
CONFIG_DMI_SYSFS=m
+CONFIG_ISCSI_IBFT=m
CONFIG_RASPBERRYPI_FIRMWARE=y
CONFIG_FW_CFG_SYSFS=m
# CONFIG_FW_CFG_SYSFS_CMDLINE is not set