# Raspberry Pi SD Image
# $ nix-build '<nixpkgs/nixos>' -A config.system.build.sdImage -I nixos-config=./sd-image.nix
# https://nixos.wiki/wiki/NixOS_on_ARM#Installation
{ ... }: {
  nixpkgs.crossSystem.system = "armv7l-linux";
  
  # Simple bootstrap SD image for the Raspberry Pi
  imports = [
    <nixpkgs/nixos/modules/installer/sd-card/sd-image-aarch64.nix>
    ./nixos/users/albert
  ];

  # Temporarily allow ssh access for imaging
  networking.firewall.allowedTCPPorts = [ 22 ];
}