#
# Automatically generated file; DO NOT EDIT.
-# Linux/arm64 4.9.310-gnu1 Kernel Configuration
+# Linux/arm64 4.9.312-gnu1 Kernel Configuration
#
CONFIG_ARM64=y
CONFIG_64BIT=y
CONFIG_NET_VENDOR_MICREL=y
CONFIG_KS8842=m
CONFIG_KS8851=m
-CONFIG_KS8851_MLL=m
CONFIG_KSZ884X_PCI=m
CONFIG_NET_VENDOR_MICROCHIP=y
CONFIG_ENC28J60=m