2019-08-17 16:42:22 +00:00
|
|
|
# To build, use:
|
2021-02-21 20:16:51 +00:00
|
|
|
# nix-build nixos -I nixos-config=nixos/modules/installer/sd-card/sd-image-raspberrypi4.nix -A config.system.build.sdImage
|
2019-08-17 16:42:22 +00:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
2020-09-13 02:48:05 +00:00
|
|
|
imports = [ ./sd-image-aarch64.nix ];
|
2019-08-17 16:42:22 +00:00
|
|
|
boot.kernelPackages = pkgs.linuxPackages_rpi4;
|
|
|
|
}
|