{ 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; }; }