From 8634d5700d34b7ef2cd2b25f1cd5af549c76858c Mon Sep 17 00:00:00 2001
From: Samuel Dionne-Riel <samuel@dionne-riel.com>
Date: Sat, 1 Jun 2019 21:29:20 -0400
Subject: [PATCH] sd-image: firmware partition reduced to 20MiB

---
 nixos/modules/installer/cd-dvd/sd-image.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/nixos/modules/installer/cd-dvd/sd-image.nix b/nixos/modules/installer/cd-dvd/sd-image.nix
index 387af9373f44..ec889786de8f 100644
--- a/nixos/modules/installer/cd-dvd/sd-image.nix
+++ b/nixos/modules/installer/cd-dvd/sd-image.nix
@@ -64,7 +64,8 @@ in
 
     firmwareSize = mkOption {
       type = types.int;
-      default = 120;
+      # As of 2019-05-31 the Raspberry pi firmware + u-bot takes ~13MiB
+      default = 20;
       description = ''
         Size of the /boot/firmware partition, in megabytes.
       '';