diff mbox series

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

Message ID 20220129023712.4059-3-maxim.cournoyer@gmail.com
State Accepted
Headers show
Series gnu: linux-libre: Build the snd-emu10k1 module. | expand

Checks

Context Check Description
cbaines/comparison success View comparision
cbaines/git branch success View Git branch
cbaines/applying patch success View Laminar job
cbaines/issue success View issue

Commit Message

Maxim Cournoyer Jan. 29, 2022, 2:37 a.m. UTC 
* 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 mbox series

Patch

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)