repart tweaks

This commit is contained in:
Henry Hiles 2025-08-30 20:45:11 -04:00
commit e01eb17795
No known key found for this signature in database

View file

@ -37,14 +37,8 @@ in {
image.repart = { image.repart = {
name = "image"; name = "image";
split = true;
partitions = { partitions = {
"10-uboot-padding" = {
repartConfig = {
Type = "linux-generic";
Label = "uboot-padding";
SizeMinBytes = "10M";
};
};
"20-esp" = { "20-esp" = {
contents = { contents = {
"/EFI/EDK2-UEFI-SHELL/SHELL.EFI".source = "${crossPkgs.edk2-uefi-shell.overrideAttrs {env.NIX_CFLAGS_COMPILE = "-Wno-error=maybe-uninitialized";}}/shell.efi"; "/EFI/EDK2-UEFI-SHELL/SHELL.EFI".source = "${crossPkgs.edk2-uefi-shell.overrideAttrs {env.NIX_CFLAGS_COMPILE = "-Wno-error=maybe-uninitialized";}}/shell.efi";
@ -61,8 +55,9 @@ in {
}; };
repartConfig = { repartConfig = {
Type = "esp"; Type = "esp";
Format = "vfat";
Label = "ESP"; Label = "ESP";
Format = "vfat";
SplitName = "boot";
SizeMinBytes = "500M"; SizeMinBytes = "500M";
GrowFileSystem = true; GrowFileSystem = true;
}; };
@ -75,6 +70,7 @@ in {
Format = "ext4"; Format = "ext4";
Label = "nixos"; Label = "nixos";
Minimize = "guess"; Minimize = "guess";
SplitName = "userdata";
GrowFileSystem = true; GrowFileSystem = true;
}; };
}; };