#
# Automatically generated file; DO NOT EDIT.
-# Linux/arm64 4.9.116-gnu Kernel Configuration
+# Linux/arm64 4.9.141-gnu Kernel Configuration
#
CONFIG_ARM64=y
CONFIG_64BIT=y
CONFIG_STMMAC_PLATFORM=m
CONFIG_DWMAC_GENERIC=m
CONFIG_DWMAC_IPQ806X=m
+CONFIG_DWMAC_SOCFPGA=m
# CONFIG_STMMAC_PCI is not set
CONFIG_NET_VENDOR_SUN=y
CONFIG_HAPPYMEAL=m