From 191f083fa8ed152502caac51c9db84d939afb50b Mon Sep 17 00:00:00 2001 From: David P Date: Sat, 11 Jan 2020 13:23:35 -0300 Subject: updpkg: libre/linux-libre-hardened 5.4.10.a-1 Signed-off-by: David P --- libre/linux-libre-hardened/config | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'libre/linux-libre-hardened/config') diff --git a/libre/linux-libre-hardened/config b/libre/linux-libre-hardened/config index 83d444bde..671d8badc 100644 --- a/libre/linux-libre-hardened/config +++ b/libre/linux-libre-hardened/config @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 5.4.7-gnu Kernel Configuration +# Linux/x86 5.4.10-gnu Kernel Configuration # # @@ -852,13 +852,9 @@ CONFIG_PLUGIN_HOSTCC="g++" CONFIG_HAVE_GCC_PLUGINS=y CONFIG_GCC_PLUGINS=y -# -# GCC plugins -# # CONFIG_GCC_PLUGIN_CYC_COMPLEXITY is not set CONFIG_GCC_PLUGIN_LATENT_ENTROPY=y # CONFIG_GCC_PLUGIN_RANDSTRUCT is not set -# end of GCC plugins # end of General architecture-dependent options CONFIG_RT_MUTEXES=y -- cgit v1.2.3