stockholm/makefu/2configs/hw/tp-x220.nix

35 lines
1.1 KiB
Nix
Raw Normal View History

{ config, lib, pkgs, ... }:
2016-02-14 15:43:44 +00:00
with config.krebs.lib;
{
imports = [ ./tp-x2x0.nix ];
2016-05-02 15:37:14 +00:00
boot = {
2016-06-12 17:45:21 +00:00
kernelModules = [ "kvm-intel" "acpi_call" "tpm-rng" ];
2016-05-02 15:37:14 +00:00
extraModulePackages = [ config.boot.kernelPackages.tp_smapi ];
};
hardware.opengl.extraPackages = [ pkgs.vaapiIntel pkgs.vaapiVdpau ];
services.xserver = {
videoDriver = "intel";
deviceSection = ''
Option "AccelMethod" "sna"
'';
};
2016-05-02 15:37:14 +00:00
security.rngd.enable = true;
services.xserver.displayManager.sessionCommands =''
2016-02-11 16:06:50 +00:00
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" ''
2016-06-12 17:45:21 +00:00
${builtins.readFile "${config.hardware.pulseaudio.package.out}/etc/pulse/default.pa"}
2016-02-11 16:06:50 +00:00
load-module module-alsa-sink device=hw:0,3 sink_properties=device.description="HDMIOutput" sink_name="HDMI"
'';
}