{ lib, pkgs, ... }: {
  boot = {
    loader.grub.enable = false;
    loader.generic-extlinux-compatible.enable = true;
    kernelPackages = pkgs.linuxPackages_rpi4;
    kernelParams = [ "snd_bcm2835.enable_headphones=1" "snd_bcm2835.enable_hdmi=1" ];
    initrd.availableKernelModules = lib.mkDefault [
      "vc4"
      "bcm2835_dma"
      "i2c_bcm2835"

      "xhci_pci"
      "usbhid"
      "usb_storage"
    ];
  };

  swapDevices = [{
    device = "/var/lib/swapfile";
    size = 4 * 1024;
  }];

  fileSystems = {
    "/" = {
      device = "/dev/disk/by-label/NIXOS_SD";
      fsType = "ext4";
      options = [ "noatime" ];
    };
  };

  hardware = {
    raspberry-pi = {
      enable = true;
      cec.enable = true;
      "4" = {
        apply-overlays-dtmerge.enable = true;
        fkms-3d.enable = true;
      };
      enableRedistributableFirmware = true;
    };
  };
  system.stateVersion = "23.11";

  nixpkgs.hostPlatform.system = "aarch64-linux";
}