#
# Automatically generated file; DO NOT EDIT.
-# Linux/m68k 4.19.32-gnu Kernel Configuration
+# Linux/m68k 4.19.4-gnu Kernel Configuration
#
#
-# Compiler: m68k-linux-gcc (GCC) 8.3.0
+# Compiler: m68k-linux-gcc (GCC) 9.1.0
#
CONFIG_CC_IS_GCC=y
-CONFIG_GCC_VERSION=80300
+CONFIG_GCC_VERSION=90100
CONFIG_CLANG_VERSION=0
CONFIG_IRQ_WORK=y
CONFIG_HW_RANDOM_VIRTIO=m
CONFIG_NVRAM=y
# CONFIG_DTLK is not set
-# CONFIG_R3964 is not set
+CONFIG_R3964=m
# CONFIG_RAW_DRIVER is not set
# CONFIG_TCG_TPM is not set
CONFIG_DEVPORT=y