{
  den,
  __findFile,
  modules,
  inputs,
  ...
}: {
  flake-file.inputs = {
    raspberry-pi-nix.url = "github:cmyk/raspberry-pi-nix";
    nixos-hardware.url = "github:NixOS/nixos-hardware/master";
  };
  modules.raspberry-pi = {
    provides = {
      "5" = {
        nixos = {
          pkgs,
          modulesPath,
          ...
        }: {
          imports = [
            inputs.nixos-hardware.nixosModules.raspberry-pi-5
            "${modulesPath}/installer/sd-card/sd-image-aarch64.nix"
          ];

          environment.systemPackages = with pkgs; [
            libraspberrypi
          ];

          sdImage.compressImage = false;
          # raspberry-pi-nix.board = "bcm2712"; # Rpi 5 - 64bit
          # We need to rebuild kernel for 6.12
          # raspberry-pi-nix.kernel-version = "v6_12_17";
          # raspberry-pi-nix.uboot.enable = false;
          boot.initrd.systemd.enableTpm2 = false;
          boot.initrd.allowMissingModules = true;

          hardware.enableRedistributableFirmware = true;
        };
      };
    };
  };
}