#
# Automatically generated file; DO NOT EDIT.
-# Linux/riscv 4.19.241-gnu1 Kernel Configuration
+# Linux/riscv 4.19.255-gnu1 Kernel Configuration
#
#
-# Compiler: riscv64-linux-gcc (GCC) 11.3.0
+# Compiler: riscv64-linux-gcc (GCC) 12.1.0
#
CONFIG_CC_IS_GCC=y
-CONFIG_GCC_VERSION=110300
+CONFIG_GCC_VERSION=120100
CONFIG_CLANG_VERSION=0
CONFIG_CC_HAS_ASM_GOTO=y
CONFIG_IRQ_WORK=y
# CONFIG_TCG_TPM is not set
CONFIG_DEVPORT=y
# CONFIG_XILLYBUS is not set
+CONFIG_RANDOM_TRUST_BOOTLOADER=y
#
# I2C support