{ pkgs, ... }: {
  fileSystems = {
    "/boot" = {
      device = "/dev/disk/by-label/NIXOS_BOOT";
      fsType = "vfat";
    };
    "/" = {
      device = "/dev/disk/by-label/NIXOS_SD";
      fsType = "ext4";
    };
  };

  boot.loader = {
    grub.enable = false;
    raspberryPi.enable = true;
    raspberryPi.version = 4;
  };
  boot.kernelPackages = pkgs.linuxPackages_rpi4;
  hardware.enableRedistributableFirmware = true;

  environment.systemPackages = with pkgs; [
    git
    vim
    w3m
  ];

  networking.hostName = "raspi";
  networking.wireless.enable = true;

  services.openssh.enable = true;

  users.users.foo = {
    isNormalUser = true;
    extraGroups = [ "wheel" "networkmanager" ];
  };
  services.xserver = {
    enable = true;
    displayManager.sddm.enable = true;
    desktopManager.xfce.enable = true;
    videoDrivers = [ "modesetting" ];
  };
}