{ pkgs, ... }:
{
  nixpkgs.hostPlatform = "aarch64-linux";

  hardware.enableRedistributableFirmware = true;

  hardware = {
    raspberry-pi."4".apply-overlays-dtmerge.enable = true;
    deviceTree = {
      enable = true;
      filter = "*rpi-4-*.dtb";
    };
  };

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