{ ... }:

{
  fileSystems = {
    "/" = {
      device = "/dev/disk/by-label/NIXOS_SD";
      fsType = "ext4";
    };
    "/tmp" = {
      device = "/dev/disk/by-label/nix-extra";
      fsType = "ext4";
    };
  };

  hardware.enableRedistributableFirmware = true;

  hardware.deviceTree = {
    overlays = [
      #"${pkgs.raspberrypifw}/share/raspberrypi/boot/overlays/rpi-ft5406.dtbo"
      {
        name = "rpi4-cma-overlay";
        dtsText = ''
          // SPDX-License-Identifier: GPL-2.0
          /dts-v1/;
          /plugin/;
          / {
            compatible = "brcm,bcm2711";
            fragment@0 {
              target = <&cma>;
              __overlay__ {
                size = <(512 * 1024 * 1024)>;
              };
            };
          };
        '';
      }
    ];
  };

  #hardware.raspberry-pi."4".fkms-3d.enable = true;
}