From f79c1d9f873398a3e6e0bf622f84ee1ab24b747e Mon Sep 17 00:00:00 2001 From: Luis Guilherme Coelho Date: Sat, 24 Aug 2024 21:38:35 -0300 Subject: [PATCH] operating-systems: buer: Rewrite kernel-arguments using De Morgan's Law and (@@ (radix combinators) on). --- operating-systems/buer.scm | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/operating-systems/buer.scm b/operating-systems/buer.scm index ab08b29..c601140 100644 --- a/operating-systems/buer.scm +++ b/operating-systems/buer.scm @@ -122,13 +122,9 @@ (kernel-arguments (cons* "modprobe.blacklist=usbmouse,usbkbd,pcspkr" "thinkpad_acpi.fan_control=1" - (filter (apply conjoin - (map (partial partial (negate string-prefix?)) - (list "debugfs" - "l1tf" - "mds" - "mitigations" - "nosmt"))) + (filter ((on (negate disjoin) + (partial partial string-prefix?)) + (list "debugfs" "l1tf" "mds" "mitigations" "nosmt")) %kicksecure-kernel-arguments))) (file-systems