#
# Automatically generated file; DO NOT EDIT.
-# Linux/i386 4.14.282-gnu1 Kernel Configuration
+# Linux/i386 4.14.285-gnu1 Kernel Configuration
#
# CONFIG_64BIT is not set
CONFIG_X86_32=y
CONFIG_DEVPORT=y
CONFIG_XILLYBUS=m
CONFIG_XILLYBUS_PCIE=m
+CONFIG_RANDOM_TRUST_CPU=y
+CONFIG_RANDOM_TRUST_BOOTLOADER=y
#
# I2C support