From 9c6ebfa11a2cfc38129e637640d9d530e74bfe9e Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Sun, 10 Nov 2019 16:59:48 +0100
Subject: ...

---
 sif/boot.nix | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/sif/boot.nix b/sif/boot.nix
index 7fffd7a2..61c63f24 100644
--- a/sif/boot.nix
+++ b/sif/boot.nix
@@ -1,15 +1,15 @@
 { config, lib, pkgs, ... }:
 
 {
-  boot.initrd = {
-    luks.devices = [
-      { name = "nvm0"; device = "/dev/disk/by-uuid/fe641e81-0812-4181-a5f6-382ebba509bb"; }
-      { name = "nvm1"; device = "/dev/disk/by-uuid/43df1ba8-1728-4193-8855-920a82d4494a"; }
-    ];
-
-    kernelParams = [ "intel_pstate=no_hwp" "quiet" ];
-    kernelModules = [ "dm-snapshot" ];
-    availableKernelModules = [ "fbcon" "xhci_pci" "nvme" "usb_storage" "sd_mod" "rtsx_pci_sdmmc" ];
+  boot = {
+    initrd = {
+      luks.devices = [
+        { name = "nvm0"; device = "/dev/disk/by-uuid/fe641e81-0812-4181-a5f6-382ebba509bb"; }
+        { name = "nvm1"; device = "/dev/disk/by-uuid/43df1ba8-1728-4193-8855-920a82d4494a"; }
+      ];
+      kernelModules = [ "dm-snapshot" ];
+      availableKernelModules = [ "fbcon" "xhci_pci" "nvme" "usb_storage" "sd_mod" "rtsx_pci_sdmmc" ];
+    };
 
     # Use the systemd-boot EFI boot loader.
     loader = {
@@ -19,5 +19,7 @@
     };
 
     plymouth.enable = true;
+
+    kernelParams = [ "intel_pstate=no_hwp" "quiet" ];
   };
 }
-- 
cgit v1.2.3