Update RPM configs
[kernel-configs.git] / 4.19 / rpm / arm64
index 59a62a4581d10844eb1377bfb884e41cfe153b7f..d184f5d718bddd9ff5929dd204557e24981332b3 100644 (file)
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/arm64 4.19.246-gnu1 Kernel Configuration
+# Linux/arm64 4.19.250-gnu1 Kernel Configuration
 #
 
 #
@@ -3572,6 +3572,7 @@ CONFIG_DEVPORT=y
 CONFIG_XILLYBUS=m
 CONFIG_XILLYBUS_PCIE=m
 # CONFIG_XILLYBUS_OF is not set
+CONFIG_RANDOM_TRUST_BOOTLOADER=y
 
 #
 # I2C support