#
# Automatically generated file; DO NOT EDIT.
-# Linux/arm64 4.14.117-gnu Kernel Configuration
+# Linux/arm64 4.14.139-gnu Kernel Configuration
#
CONFIG_ARM64=y
CONFIG_64BIT=y
#
CONFIG_DRM_AMD_ACP=y
CONFIG_DRM_NOUVEAU=m
+CONFIG_NOUVEAU_LEGACY_CTX_SUPPORT=y
CONFIG_NOUVEAU_DEBUG=5
CONFIG_NOUVEAU_DEBUG_DEFAULT=3
CONFIG_DRM_NOUVEAU_BACKLIGHT=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