From e5c06dce937d96b36fab73df12ccfb6e77d127ac Mon Sep 17 00:00:00 2001 From: Maxim Cournoyer Date: Fri, 28 Jan 2022 15:11:42 -0500 Subject: gnu: linux-libre: Expose running kernel config as /proc/config.gz. * gnu/packages/linux.scm (%default-extra-linux-options) [CONFIG_IKCONFIG, CONFIG_IKCONFIG_PROC]: Enable kernel options. --- gnu/packages/linux.scm | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index c405a34197..ce462a57ed 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -687,7 +687,10 @@ for ARCH and optionally VARIANT, or #f if there is no such configuration." (search-auxiliary-file file))) (define %default-extra-linux-options - `(;; Some very mild hardening. + `(;; Make the kernel config available at /proc/config.gz + ("CONFIG_IKCONFIG" . #t) + ("CONFIG_IKCONFIG_PROC" . #t) + ;; Some very mild hardening. ("CONFIG_SECURITY_DMESG_RESTRICT" . #t) ;; All kernels should have NAMESPACES options enabled ("CONFIG_NAMESPACES" . #t) -- cgit v1.2.3