From 042958f0c20dc17ed7e48e093e8a7d94332aa7d3 Mon Sep 17 00:00:00 2001 From: David P Date: Mon, 2 Jul 2018 21:37:32 -0400 Subject: upgpkg: libre/linux-libre-pck 4.17.3_gnu.pck1-1 Signed-off-by: David P --- libre/linux-libre-pck/config.x86_64 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'libre/linux-libre-pck/config.x86_64') diff --git a/libre/linux-libre-pck/config.x86_64 b/libre/linux-libre-pck/config.x86_64 index 5d70d1413..4794bf35a 100644 --- a/libre/linux-libre-pck/config.x86_64 +++ b/libre/linux-libre-pck/config.x86_64 @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 4.17.2-gnu-1-pck Kernel Configuration +# Linux/x86 4.17.3-gnu-1-pck Kernel Configuration # CONFIG_64BIT=y CONFIG_X86_64=y @@ -51,6 +51,7 @@ CONFIG_THREAD_INFO_IN_TASK=y # General setup # CONFIG_PCK_INTERACTIVE=y +# CONFIG_SCHED_MUQSS is not set CONFIG_INIT_ENV_ARG_LIMIT=32 CONFIG_CROSS_COMPILE="" # CONFIG_COMPILE_TEST is not set -- cgit v1.2.3