From 58120e788357d7ac71fc2fc2243d4f44be895809 Mon Sep 17 00:00:00 2001
From: Milo Oien-Rochat <13294739+nikolarobottesla@users.noreply.github.com>
Date: Fri, 5 Apr 2024 06:39:05 -0500
Subject: [PATCH] Update default.nix

use mkDefault for hardware.enableRedistributableFirmware
---
 hp/elitebook/830/g6/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hp/elitebook/830/g6/default.nix b/hp/elitebook/830/g6/default.nix
index 1aa47e4..8f7ac67 100644
--- a/hp/elitebook/830/g6/default.nix
+++ b/hp/elitebook/830/g6/default.nix
@@ -8,7 +8,7 @@
   ];
 
   # is there any redistributable firmware for this device?
-  hardware.enableRedistributableFirmware = true;
+  hardware.enableRedistributableFirmware = lib.mkDefault true;
 
   # Cooling management
   services.thermald.enable = lib.mkDefault true;