{
  den,
  __findFile,
  modules,
  inputs,
  ...
}:
{
  flake-file.inputs = {
    raspberry-pi-nix.url = "github:nix-community/raspberry-pi-nix";
  };
  modules.raspberry-pi = {
    provides = {
      "5" = {
        nixos =
          { pkgs, ... }:
          let
            rpi-pi = inputs.raspberry-pi-nix;
          in
          {
            imports = [
              rpi-pi.nixosModules.raspberry-pi
              rpi-pi.nixosModules.sd-image
            ];

            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;

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