From acd8df5f37975e293fff55f8f6e1a015117d8278 Mon Sep 17 00:00:00 2001
From: Sebastian Moser <me@c2vi.dev>
Date: Tue, 31 Oct 2023 18:00:38 +0100
Subject: [PATCH] grub.device should be nodev for efi boot

---
 hardware/hpm-laptop.nix   | 2 +-
 hardware/my-hp-laptop.nix | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/hardware/hpm-laptop.nix b/hardware/hpm-laptop.nix
index 9219919..9548f9c 100755
--- a/hardware/hpm-laptop.nix
+++ b/hardware/hpm-laptop.nix
@@ -12,7 +12,7 @@
 	boot.loader.grub = {
   		enable = true;
   		version = 2;
-  		device = "/dev/nvme0n1p1";
+  		device = "nodev";
   		efiSupport = true;
 		extraConfig = ''
 			set timeout=2
diff --git a/hardware/my-hp-laptop.nix b/hardware/my-hp-laptop.nix
index 6e1e030..6b488ba 100644
--- a/hardware/my-hp-laptop.nix
+++ b/hardware/my-hp-laptop.nix
@@ -24,7 +24,7 @@
 	boot.loader.grub = {
   		enable = true;
   		version = 2;
-  		device = "/dev/nvme0n1p1";
+  		device = "nodev";
   		efiSupport = true;
 		extraConfig = ''
 			set timeout=1