{ pkgs, ... }: {

  boot.initrd.allowMissingModules = true;
  boot.supportedFilesystems.zfs = false;
  #boot.kernelPackages = pkgs.linuxPackages_rpi4;
  fileSystems = {
    "/" = { device = "/dev/disk/by-label/NIXOS_SD"; fsType = "ext4"; };
  };
  boot.kernelParams = [ "snd_bcm2835.enable_hdmi=1" "snd_bcm2835.enable_headphones=1" ];     

  # Pi 4 specific
  hardware = {
    raspberry-pi."4" = {
      apply-overlays-dtmerge.enable = true;
      bluetooth.enable = true;
    };
  enableRedistributableFirmware = true;
  };
  networking.networkmanager.wifi.powersave = false;

  boot.loader.generic-extlinux-compatible.enable = true;

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

}