diff options
author | Samuel Dionne-Riel <samuel@dionne-riel.com> | 2019-06-01 21:29:20 -0400 |
---|---|---|
committer | Samuel Dionne-Riel <samuel@dionne-riel.com> | 2019-06-16 17:47:31 -0400 |
commit | 8634d5700d34b7ef2cd2b25f1cd5af549c76858c (patch) | |
tree | f91a351c1dc3f13b3b9a6761e9c68312e8bd0385 /nixos | |
parent | 53884e1b94efe183ef6d32758a9f7ceee4aa0b19 (diff) |
sd-image: firmware partition reduced to 20MiB
Diffstat (limited to 'nixos')
-rw-r--r-- | nixos/modules/installer/cd-dvd/sd-image.nix | 3 |
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. ''; |