nixpkgs/nixos/modules/installer/sd-card/sd-image-raspberrypi4.nix

# To build, use:
# nix-build nixos -I nixos-config=nixos/modules/installer/sd-card/sd-image-raspberrypi4.nix -A config.system.build.sdImage
{ config, lib, pkgs, ... }:

{
  imports = [ ./sd-image-aarch64.nix ];
  boot.kernelPackages = pkgs.linuxPackages_rpi4;
}
Various: Add support for raspberry pi 4. 2019-08-17 09:42:22 -07:00			`# To build, use:`
installer: fixup sd-card folder move from #110827 2021-02-21 12:16:51 -08:00			`# nix-build nixos -I nixos-config=nixos/modules/installer/sd-card/sd-image-raspberrypi4.nix -A config.system.build.sdImage`
Various: Add support for raspberry pi 4. 2019-08-17 09:42:22 -07:00			`{ config, lib, pkgs, ... }:`

			`{`
sd-image-raspberrypi4: Use u-boot for booting This includes setting up everything for the mainline Raspberry Pi 4 image. In fact, the only difference left in the Raspberry Pi 4-specific image is the kernel from the vendor. 2020-09-12 19:48:05 -07:00			`imports = [ ./sd-image-aarch64.nix ];`
Various: Add support for raspberry pi 4. 2019-08-17 09:42:22 -07:00			`boot.kernelPackages = pkgs.linuxPackages_rpi4;`
			`}`