#
# Automatically generated file; DO NOT EDIT.
-# Linux/s390 4.19.246-gnu1 Kernel Configuration
+# Linux/s390 4.19.250-gnu1 Kernel Configuration
#
#
CONFIG_S390_VMUR=m
# CONFIG_XILLYBUS is not set
CONFIG_RANDOM_TRUST_CPU=y
+CONFIG_RANDOM_TRUST_BOOTLOADER=y
#
# I2C support