Update configs

[kernel-configs.git] / 4.14 / x86-32-pae

diff --git a/4.14/x86-32-pae b/4.14/x86-32-pae
index 5436f7066a3fbbcb7c6374330a7c5b68570913ce..adf7ec793f3f0b660b87f45af2a65e7f3ed036e4 100644 (file)
--- a/4.14/x86-32-pae
+++ b/4.14/x86-32-pae
@@ -1,6 +1,6 @@
 #
 # 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
@@ -3971,6 +3971,8 @@ CONFIG_TELCLOCK=m
 CONFIG_DEVPORT=y
 CONFIG_XILLYBUS=m
 CONFIG_XILLYBUS_PCIE=m
+CONFIG_RANDOM_TRUST_CPU=y
+CONFIG_RANDOM_TRUST_BOOTLOADER=y
 
 #
 # I2C support