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 | |
| parent | 53884e1b94efe183ef6d32758a9f7ceee4aa0b19 (diff) | |
| download | nixpkgs-8634d5700d34b7ef2cd2b25f1cd5af549c76858c.tar nixpkgs-8634d5700d34b7ef2cd2b25f1cd5af549c76858c.tar.gz nixpkgs-8634d5700d34b7ef2cd2b25f1cd5af549c76858c.tar.bz2 nixpkgs-8634d5700d34b7ef2cd2b25f1cd5af549c76858c.tar.lz nixpkgs-8634d5700d34b7ef2cd2b25f1cd5af549c76858c.tar.xz nixpkgs-8634d5700d34b7ef2cd2b25f1cd5af549c76858c.tar.zst nixpkgs-8634d5700d34b7ef2cd2b25f1cd5af549c76858c.zip | |
sd-image: firmware partition reduced to 20MiB
| -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 387af9373f4..ec889786de8 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. ''; |