#
# Automatically generated file; DO NOT EDIT.
-# Linux/powerpc 4.9.309-gnu1 Kernel Configuration
+# Linux/powerpc 4.9.312-gnu1 Kernel Configuration
#
# CONFIG_PPC64 is not set
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