{ lib, pkgs, ... }: {
  boot = {
    loader = {
      grub.enable = false;
      systemd-boot.enable = false;
      generic-extlinux-compatible.enable = false;
    };
    /*
      kernelPackages = pkgs.linuxPackages_rpi4;
      kernelParams = [ "snd_bcm2835.enable_headphones=1" "snd_bcm2835.enable_hdmi=1" "gpu_mem=128" ];
      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" ];
    };
  };

  raspberry-pi-nix.board = "bcm2711";

  hardware = {
    raspberry-pi = {
      enable = true;
      config = {
        pi4 = {
          options = {
            arm_boost = {
              enable = true;
              value = true;
            };
            gpu_mem = {
              enable = true;
              value = "256";
            };
          };
          dt-overlays = {
            vc4-kms-v3d = {
              enable = true;
              params = { cma-256 = { enable = true; }; };
            };
          };
        };
        all = {
          options = {
            arm_64bit = {
              enable = true;
              value = true;
            };
          };
          base-dt-params = {
            BOOT_UART = {
              value = 1;
              enable = true;
            };
            uart_2ndstage = {
              value = 1;
              enable = true;
            };
          };
          dt-overlays = {
            disable-bt = {
              enable = true;
              params = { };
            };
            vc4-kms-v3d = {
              enable = true;
              params = { };
            };
          };
        };
      };
    };
  };
  system.stateVersion = "23.11";

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