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

  fileSystems."/" = {
    device = "/dev/disk/by-label/NIXOS_SD";
    fsType = "ext4";
    options = [ "noatime" ];
    autoResize = true;
  };
  programs.partition-manager.enable = false;

  services.printing.enable = false;
  services.btrfs.autoScrub.enable = false;

  boot = {
    # initrd.availableKernelModules = [ "xhci_pci" "usbhid" "usb_storage" ];
    initrd.availableKernelModules = [ "xhci_pci" ];
    kernelParams = [
      "8250.nr_uarts=1"
      "cma=128M"
      "console=tty1"
      # "console=ttyAMA0,115200"
    ];
    loader = {
      raspberryPi = {
        enable = true;
        version = 4;
      };
      systemd-boot.enable = false;
      generic-extlinux-compatible.enable = false;
    };
    kernelPackages = pkgs.linuxPackages_rpi4;
  };

  powerManagement.cpuFreqGovernor = "ondemand";

  hardware = {
    raspberry-pi."4" = {
      apply-overlays-dtmerge.enable = true;
      audio.enable = true;
      fkms-3d.enable = true;
    };
    deviceTree = {
      enable = true;
      filter = "*rpi-4-*.dtb";
      ]
    };
  };
  hardware.deviceTree.overlays = [{
    name = hifiberry-dacplusadc";
    dtsText = ''

    ''
  }
  ];

  nixpkgs.hostPlatform = "aarch64-linux";
  system.stateVersion = "23.11";
  networking.hostName = "NObangers";
}