#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.19.245-4.19 Kernel Configuration
+# Linux/x86 4.19.256-4.19 Kernel Configuration
#
#
CONFIG_XILLYBUS_PCIE=m
CONFIG_XILLYBUS_OF=m
# CONFIG_RANDOM_TRUST_CPU is not set
+CONFIG_RANDOM_TRUST_BOOTLOADER=y
#
# I2C support