operating-systems: buer: Rewrite kernel-arguments using De Morgan's Law and (@@ (radix combinators) on).

impermanence
Luis Guilherme Coelho 2024-08-24 21:38:35 -03:00
parent 7a9a934ad7
commit f79c1d9f87
No known key found for this signature in database
GPG Key ID: 1F2E76ACE3F531C8
1 changed files with 3 additions and 7 deletions

View File

@ -122,13 +122,9 @@
(kernel-arguments (kernel-arguments
(cons* "modprobe.blacklist=usbmouse,usbkbd,pcspkr" (cons* "modprobe.blacklist=usbmouse,usbkbd,pcspkr"
"thinkpad_acpi.fan_control=1" "thinkpad_acpi.fan_control=1"
(filter (apply conjoin (filter ((on (negate disjoin)
(map (partial partial (negate string-prefix?)) (partial partial string-prefix?))
(list "debugfs" (list "debugfs" "l1tf" "mds" "mitigations" "nosmt"))
"l1tf"
"mds"
"mitigations"
"nosmt")))
%kicksecure-kernel-arguments))) %kicksecure-kernel-arguments)))
(file-systems (file-systems