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.master
parent
d5b4ca4445
commit
e5c06dce93
gnu/packages
|
@ -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)
|
||||
|
|
Reference in New Issue