gistfile1.txt

{
  imports = [];
  boot.loader.raspberryPi = {
    enable = true;
    version = 4;
    uboot.enable = false;
    firmwareConfig = ''
      gpu_mem=192
      dtoverlay=vc4-fkms-v3d
    '';
  };
  fileSystems = {
    "/" = {
      device = "/dev/disk/by-label/NIXOS_SD";
      fsType = "ext4";
    };
    "/boot" = {
      device = "/dev/disk/by-label/FIRMWARE";
      fsType = "vfat";
    };
  };
  boot.loader.grub.enable = false;
  boot.loader.generic-extlinux-compatible.enable = false;
  boot.kernelPackages = pkgs.linuxPackages_rpi4;
  hardware.bluetooth.enable = true;
  hardware.enableRedistributableFirmware = true;
  sound.enable = true;
  hardware.pulseaudio.enable = true;
  services.dbus.enable = true;
}