devices/thinkbook/boot.nix

@@ -0,0 +1,24 @@
+{ pkgs, ... }:
+{
+  boot = {
+    kernelPackages = pkgs.linuxPackages_zen;
+    kernelParams = [
+      "quiet"
+      "splash"
+      "boot.shell_on_fail"
+      "loglevel=3"
+      "rd.systemd.show_status=false"
+      "rd.udev.log_level=3"
+      "udev.log_priority=3"
+    ];
+
+    consoleLogLevel = 0;
+    initrd.verbose = false;
+
+    loader = {
+      timeout = 60;
+      efi.canTouchEfiVariables = true;
+      systemd-boot.enable = true;
+    };
+  };
+}

options/device/laptop.nix

@@ -103,7 +103,9 @@ in
       enable32Bit = true;
     };
 
-    security.rtkit.enable = lib.mkIf cfg.sound.enable true;
+    security.rtkit = lib.mkIf cfg.sound.enable {
+      enable = true;
+    };
     services.pulseaudio = lib.mkIf cfg.sound.enable {
       enable = false;
     };