From 3ca8c6898ae3bc4d5527a75d9f499018afeb65dc Mon Sep 17 00:00:00 2001
From: Travis Staton <hello@travisstaton.com>
Date: Tue, 14 Mar 2023 09:49:23 -0400
Subject: [PATCH] increase default firmware partition size

---
 sd-image/sd-image.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sd-image/sd-image.nix b/sd-image/sd-image.nix
index 4c0f656..9ca69d8 100644
--- a/sd-image/sd-image.nix
+++ b/sd-image/sd-image.nix
@@ -102,7 +102,7 @@ in {
     firmwareSize = mkOption {
       type = types.int;
       # As of 2019-08-18 the Raspberry pi firmware + u-boot takes ~18MiB
-      default = 30;
+      default = 128;
       description = ''
         Size of the /boot/firmware partition, in megabytes.
       '';