remote-display-pi/flake.nix

{
  description = "flake for a remote display on a raspi";

  inputs = {
    nixpkgs.url = "github:nixos/nixpkgs?ref=nixpkgs-unstable";
    nixpkgs-stable.url = "github:NixOS/nixpkgs/nixos-23.11";
    agenix.url = "github:ryantm/agenix";
    nixos-hardware.url = "github:NixOS/nixos-hardware/master";
  };

  outputs = {nixpkgs, nixpkgs-stable, agenix, nixos-hardware, ...} @ inputs: let
    system = "aarch64-linux";
    stable = import nixpkgs-stable { inherit system; config.allowUnfree = true; };
  in {
    nixosConfigurations.nixpi = nixpkgs.lib.nixosSystem {
      inherit system;
      specialArgs = { inherit inputs stable; };
      modules = [
        ./configuration.nix
        nixos-hardware.nixosModules.raspberry-pi-4
        agenix.nixosModules.default
        ./miraclecast.nix
        ./modules/toolchains.nix
      ];
    };

    formatter.aarch64-linux = nixpkgs.legacyPackages.aarch64-linux.alejandra;
  };
}