nixos-hardware/lenovo/thinkpad/x1-extreme/gen4/default.nix

{ lib, ... }:

{
  imports = [
    ../.
  ];

  # New ThinkPads have a different TrackPoint manufacturer/name.
  hardware.trackpoint.device = "TPPS/2 Elan TrackPoint";

  # Set the right DPI. xdpyinfo says the screen is 677x423 mm but
  # it actually is 344×215 mm.
  services.xserver.monitorSection = lib.mkDefault ''
    DisplaySize 344 215
  '';
}