Subject: [bug#53619] [PATCH 3/3] gnu: linux-libre: Expose running kernel config as /proc/config.gz.

From: Maxim Cournoyer <[email-masked]>
Date: Fri, 28 Jan 2022 21:37:12 -0500

* 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 fc67eae365..5bdaba5b9e 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -687,7 +687,10 @@ (define* (kernel-config arch #:key variant)
     (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)
-- 
2.34.0