[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#53619] [PATCH 3/3] gnu: linux-libre: Expose running kernel config a
From: |
Maxim Cournoyer |
Subject: |
[bug#53619] [PATCH 3/3] gnu: linux-libre: Expose running kernel config as /proc/config.gz. |
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