{ config, pkgs, ... }:

{
  imports =
    [ ../lib/kernel-version.nix
    ];

  ## BEGIN from generated hardware-configuration
  ## Probably better to just use a freshly generated hardware.configuration.nix
  ## than this, but including for reference.
  # boot.initrd.availableKernelModules = [ "xhci_pci" "nvme" "usb_storage" "sd_mod" "rtsx_pci_sdmmc" ];
  # boot.kernelModules = [ "kvm-intel" ];
  # boot.extraModulePackages = [  ];
  #
  #
  # nix.maxJobs = lib.mkDefault 4;
  ## END from generated hardware-configuration

  # Use the gummiboot efi boot loader. (From default generated configuration.nix)
  boot.loader.systemd-boot.enable = true;
  boot.loader.efi.canTouchEfiVariables = true;

  # https://wiki.archlinux.org/index.php/Lenovo_ThinkPad_T460s
  kernelAtleast = [
    { version = "4.5.1"; msg = "The physical mouse buttons works incorrectly."; }
    { version = "4.6";   msg = "Suspending the T460s by closing the lid when running on battery causes the machine to freeze up entirely."; }
  ];

  # For the wifi (intel iwlwifi)
  hardware.enableAllFirmware = true;

  # For the screen. I don't know what to do with this information, but
  # the hiDPI support is far from perfect (as of July 2016):

  # Resolution: 2560 x 1440 px
  # Size: 12.2" × 6.86" (30.99cm × 17.43cm)
  # DPI: 209.8
  # Dot Pitch: 0.1211mm
  # Aspect Ratio: 16 × 9 (1.78:1)
  # Pixel Count: 3,686,400
  # Megapixels: 3.69MP

  # Use libinput to let the physical middle button be used to scroll
  # with the trackpoint
  services.xserver = {
    libinput.enable = true;
    synaptics.enable = false;

    config = ''
      Section "InputClass"
        Identifier     "Enable libinput for TrackPoint"
        MatchIsPointer "on"
        Driver         "libinput"
        Option         "ScrollMethod" "button"
        Option         "ScrollButton" "8"
      EndSection
    '';
  };
}