summaryrefslogtreecommitdiffstats
path: root/nixos/modules/installer/cd-dvd/sd-image.nix
diff options
context:
space:
mode:
Diffstat (limited to 'nixos/modules/installer/cd-dvd/sd-image.nix')
-rw-r--r--nixos/modules/installer/cd-dvd/sd-image.nix3
1 files changed, 2 insertions, 1 deletions
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.
'';