public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

nixos/sd-image: Increase default firmware partition size

This commit is contained in:
Sarah Brofeldt 2019-08-18 22:55:39 +02:00
parent fcacab714d
commit e0cf7d6093
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
nixos/modules/installer/cd-dvd/sd-image.nix
View File

@ -73,8 +73,8 @@ in
firmwareSize = mkOption { firmwareSize = mkOption {
type = types.int; type = types.int;
# As of 2019-05-31 the Raspberry pi firmware + u-bot takes ~13MiB # As of 2019-08-18 the Raspberry pi firmware + u-boot takes ~18MiB
default = 20; default = 30;
description = '' description = ''
Size of the /boot/firmware partition, in megabytes. Size of the /boot/firmware partition, in megabytes.
''; '';