nixpkgs/nixos/modules/installer/cd-dvd/sd-image-raspberrypi4.nix

# To build, use:
# nix-build nixos -I nixos-config=nixos/modules/installer/cd-dvd/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 17:42:22 +01:00			`# To build, use:`
			`# nix-build nixos -I nixos-config=nixos/modules/installer/cd-dvd/sd-image-raspberrypi4.nix -A config.system.build.sdImage`
			`{ 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 22:48:05 -04:00			`imports = [ ./sd-image-aarch64.nix ];`
Various: Add support for raspberry pi 4. 2019-08-17 17:42:22 +01:00			`boot.kernelPackages = pkgs.linuxPackages_rpi4;`
			`}`