nixos/machines/serverle/hardware-configuration.nix

{ pkgs, ... }:
{
  hardware = {
    deviceTree = {
      enable = true;
      filter = "*rpi-4-*.dtb";
    };
  };

  environment.systemPackages = with pkgs; [
    libraspberrypi
    raspberrypi-eeprom
  ];
}