#
# Automatically generated file; DO NOT EDIT.
-# Linux/riscv 4.19.245-gnu1 Kernel Configuration
+# Linux/riscv 4.19.249-gnu1 Kernel Configuration
#
#
# CONFIG_TCG_TPM is not set
CONFIG_DEVPORT=y
# CONFIG_XILLYBUS is not set
+CONFIG_RANDOM_TRUST_BOOTLOADER=y
#
# I2C support