{ config, lib, pkgs, ... }: with import <stockholm/lib>; { imports = [ ./tp-x2x0.nix ]; boot = { # tp-smapi is not supported bt x230 anymore kernelModules = [ "kvm-intel" "thinkpad_ec" "acpi_call" # "thinkpad_acpi" # "tpm-rng" ]; extraModulePackages = [ config.boot.kernelPackages.acpi_call ]; # support backlight adjustment kernelParams = [ "acpi_osi=Linux" "acpi_backlight=vendor" ]; }; # configured media keys inside awesomerc # sound.mediaKeys.enable = true; hardware.bluetooth.enable = true; services.acpid.enable = true; hardware.opengl.extraPackages = [ pkgs.vaapiIntel pkgs.vaapiVdpau ]; services.xserver = { videoDriver = "intel"; deviceSection = '' Option "AccelMethod" "sna" Option "Backlight" "intel_backlight" ''; }; # no entropy source working # security.rngd.enable = true; services.xserver.displayManager.sessionCommands ='' xinput set-int-prop "TPPS/2 IBM TrackPoint" "Evdev Wheel Emulation" 8 1 xinput set-int-prop "TPPS/2 IBM TrackPoint" "Evdev Wheel Emulation Button" 8 2 xinput set-prop "TPPS/2 IBM TrackPoint" "Evdev Wheel Emulation Axes" 6 7 4 5 # xinput set-int-prop "TPPS/2 IBM TrackPoint" "Evdev Wheel Emulation Timeout" 8 200 ''; # enable HDMI output switching with pulseaudio hardware.pulseaudio.configFile = pkgs.writeText "pulse-default-pa" '' ${builtins.readFile "${config.hardware.pulseaudio.package.out}/etc/pulse/default.pa"} load-module module-alsa-sink device=hw:0,3 sink_properties=device.description="HDMIOutput" sink_name="HDMI" ''; }