sd-image: firmware partition reduced to 20MiB

2019-06-01 21:29:20 -04:00
parent 53884e1b94
commit 8634d5700d
1 changed files with 2 additions and 1 deletions
--- 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.
      '';