Update configs

[kernel-configs.git] / 4.14 / x86-64

diff --git a/4.14/x86-64 b/4.14/x86-64
index 54a98a958e7dd3ac5dc9a5d740ed8abbacce49ff..d3e5b7b3e83c7e5ee41e58715b3c7d19c622332c 100644 (file)
--- a/4.14/x86-64
+++ b/4.14/x86-64
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86_64 4.14.281-gnu1 Kernel Configuration
+# Linux/x86_64 4.14.289-gnu1 Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
@@ -4000,6 +4000,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