use x86_64-linux for build platform and use cached kernel
This commit is contained in:
parent
ab7068bbbd
commit
04d78c6a30
1 changed files with 5 additions and 2 deletions
|
@ -18,9 +18,12 @@
|
||||||
rpi-nix.nixosModules.raspberry-pi
|
rpi-nix.nixosModules.raspberry-pi
|
||||||
rpi-nix.nixosModules.sd-image
|
rpi-nix.nixosModules.sd-image
|
||||||
nixos-hardware.nixosModules.raspberry-pi-4
|
nixos-hardware.nixosModules.raspberry-pi-4
|
||||||
{
|
({ lib, pkgs, ... }: {
|
||||||
sdImage.compressImage = false;
|
sdImage.compressImage = false;
|
||||||
}
|
|
||||||
|
nixpkgs.buildPlatform = "x86_64-linux";
|
||||||
|
boot.kernelPackages = lib.mkForce pkgs.linuxKernel.packages.linux_rpi4;
|
||||||
|
})
|
||||||
];
|
];
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
Loading…
Reference in a new issue